{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from subprocess import run\n",
    "from multiprocessing import Pool"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "exe = \"./seg_linux\""
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "013 : i8A4A5B4B5x3A5B4B5B4B5o4, Correct!\n",
      "021 : i4A8B8x4A8B8B8X2o6, Correct!\n",
      "023 : i9A4B4A4B4x8C4B4C4B4X11, Correct!\n",
      "024 : i4A4A4B4B4b4b4x1A4A4B4B4B4B4o5, Correct!\n",
      "004 : A8A8B7x5A8B6B7o8, Correct!\n",
      "002 : i4A4A4B9b4A4B9b4B11X3o3, Correct!\n",
      "015 : i4A4B12b4b4A4B12B12o6, Correct!\n",
      "026 : i4A8A8B8b4b4B8A8A8o4, Correct!\n",
      "032 : i7A10B4B4C4b4b4A10B4C4X4o1, Incorrect! Ground Truth: i7A8X4B4B4X2x8A8B4B4X6, i7A8X4B10x8A8B8X6\n",
      "030 : i7A6A6B4B4x6A6A6B4B4B4B4X2o1, Correct!\n",
      "017 : i8A8A8B4B4B6b4b4B4B4B6o4, Correct!\n",
      "018 : i8A8A8B4B4B6b4b4B4B4B6o4, Correct!\n",
      "001 : i4A4B8A4A4b4B8A4A4b4b4A4A4b4A4o4, Correct!\n",
      "019 : i4X4A5B9x4A5B10B9X3o4, Correct!\n",
      "022 : i8A4A4B4B4C9x7B4B4C9C9o4, Correct!\n",
      "033 : i6A8A8B4C4b4b4A8B4C4B4C4C6, Correct!\n",
      "042 : i8A8B10b4b4A8B10B9o3, Correct!\n",
      "016 : i8A8A8b4b4A8A8b4b4A8A8X3, Correct!\n",
      "027 : i9A6A6B5B5b4b4A6B5B5B5B5X4o1, Correct!\n",
      "045 : i5A4A4B10A4B10X3B10o4, Correct!\n",
      "044 : i4A8A8B9x4A8B9B10o4, Correct!\n",
      "050 : i4A9B4B5x3A9B4B4B4B5o2, Correct!\n",
      "047 : A8A8B9b4b4A8B9B9o3, Correct!\n",
      "036 : i10A8A8b4A8A8b4b4A8A8b4A8A8X4o9, Correct!\n",
      "008 : i4A7A8B10b4A8B10b4B10X4o1, Correct!\n",
      "040 : i8A8A8B8B8b4b4A8B8B10o1, Correct!\n",
      "028 : i4A4A4B8C5x4A4A4B8B8C5o3, Correct!\n",
      "012 : i6A12B4B4x5A12B4B4C4C4X5o1, Correct!\n",
      "060 : i6A4B6B4C5x3A4B6B4C6o1, Correct!\n",
      "058 : i8A8A8B5B5A8b4b4B5B5A8o3, Correct!\n",
      "059 : i4A8A8B4B4x4A8B4B4X4B4B5o3, Correct!\n",
      "053 : i9A8B12b4b4A8B12B12o4, Correct!\n",
      "011 : i8A8A8B8B8b4b4A8B8B8B8X3o4, Correct!\n",
      "051 : i4A12B4B5x3A12B4B5x3B4B5o3, Correct!\n",
      "064 : i4A9A9X3B4B5x5B4B6X1, Correct!\n",
      "010 : i4A8A9B8B9x3A9B9x5B10X7o4, Incorrect! Ground Truth: i4A8A8B8B8X2x3A8B8X2x4B8X10o3, i4A8A9B8B9x3A9B9x5B8X9o3\n",
      "068 : i5A8A8B4B4x6A8B4B4C4C6, Correct!\n",
      "067 : i4A8A8B8x2A8B8x8B8B8X1o6, Correct!\n",
      "057 : i4A8A8B9x3A8B9x3B9B9X3o4, Correct!\n",
      "070 : i5A9B4B4x3A9B4B4x5B4B4o7, Correct!\n",
      "056 : i8A8A8B8B10x7A8B8B8X1B8B8X1o9, Correct!\n",
      "071 : i4A8A9B8B8x4A9B8B10o4, Correct!\n",
      "003 : i8A4A4B4B4C8b4b4A4A4B4B4C8C8o5, Correct!\n",
      "072 : i5A8A8B4B4A8B4B4A8x5B4B4B4B4X3o2, Correct!\n",
      "055 : i4A8A9B8B9A8B8B8x6X3B8B10o3, Correct!\n",
      "025 : i11A8B8A8B8b4b4B8B8b4x2X4C4C6, Correct!\n",
      "075 : i5A8B9b4b4A8B9B9X4o3, Correct!\n",
      "079 : i7A4A4B4C9x4A4B4C9C11o2, Correct!\n",
      "066 : i8A8A8B8B10b6A8B8B10b6X1B8B9o9, Correct!\n",
      "081 : i8A8B5B5x7A8B5B5x2A7, Correct!\n",
      "080 : i8A8B10x3A8B10x8B8C4C6o5, Correct!\n",
      "082 : i8A8A8B8x4A8A8B8X3, Correct!\n",
      "083 : i8A8A8B4B4x4A8B4B4B4B4X4o1, Correct!\n",
      "084 : i4X4A8B4B5x5A8B4B5B4B5X3o4, Correct!\n",
      "086 : i9A12X4B8x5A12B8B8o4, Incorrect! Ground Truth: i9X4A4B4A4C4C4x5B4A4C4C4C4C4X4o3, i9A8A8B8x5A8B8B8X4o4\n",
      "087 : i4A8A8B8b4b4A8B8B10o1, Correct!\n",
      "054 : i8A4A4B4B4C4C4b4b4A4A4B4B4C4C4C4C6o5, Correct!\n",
      "074 : i4A8A9B8B9x7A9B8B8B8B10o6, Correct!\n",
      "052 : i9A4A4B4C4C5x7A4A4B4C4C4C4C6o4, Correct!\n",
      "005 : i4X5A4B16A4A4B16X2B18o1, Incorrect! Ground Truth: i4A4A4B4C12A4A4B4C11X7C11X3, i4A8B4C12A8B4C11X7C11X2\n",
      "091 : i4A4A4B4C5b4A4b4B4C5C5o5, Correct!\n",
      "090 : i10A8A8B4B4b4b4x1A8B4B4B4B4X4, Correct!\n",
      "092 : i9A4A4B16b4b4B16X5, Correct!\n",
      "094 : i8A4A4A5B9b4b4x1A4A5B11X2o6, Correct!\n",
      "061 : i10A8B4B4C8C8x7A8B4B4C8C9C8o2, Correct!\n",
      "097 : i8A8A8B8B8b4b4A8B8B8X3, Correct!\n",
      "098 : i4X9, Correct!\n",
      "037 : i10A8A8B9b4b4A8A8x2B9B8X3o6, Correct!\n",
      "063 : i4A8A7B8B10x7A8A7B8B10o11, Correct!\n",
      "100 : i8A8B4B5x7A8B4B4B4B4X4o7, Correct!\n",
      "031 : i16A4A5B9b4b4b4b4X4A5B9B8o17, Correct!\n",
      "089 : i8A4A4B8b4b4A4A4B8B8b4b4C4C4X5, Correct!\n",
      "104 : i4A4A5B5C9x4B5C9C9o2, Correct!\n",
      "029 : i8A8A8B9b4b4A8B8B9b4b4x3B8B9o11, Correct!\n",
      "103 : i8A8A8B8B10b4b4A8B8B8X5, Correct!\n",
      "101 : i8A8A8B8B10b4b4A8B8B10X3o1, Correct!\n",
      "106 : i6A12A12b4b4A12X2B8B8B8B6o5, Incorrect! Ground Truth: i6A12A12x8A12B16x2B14o4, i6A12A12b4b4A12B4C4C4C4X4C4B4C4o4\n",
      "109 : i10A8B4B5x5A8B4B5X3B4B5X3, Incorrect! Ground Truth: i10A9B8x5A9B8X4B8X3, i10A9B4B4x5A9B4B4X4B4B4X3\n",
      "009 : A8B8B9A8A8b4b4A8B8B9A8A8A8A8A10, Correct!\n",
      "110 : i4A8A8B9x4A8B10X12o6, Correct!\n",
      "111 : i8A8A8B8B8x4A8B8B10X1o5, Correct!\n",
      "112 : i4A4A4B4C9x3A4A4B4C9C9X2o2, Correct!\n",
      "108 : i13A4A6B4B5C10b5B4B5C10b5C11o5, Correct!\n",
      "049 : A9b4b4B8A8A9x1b4b4b4B8A8A8A8A9o7, Correct!\n",
      "116 : i4A8A8B4B5x4X4B4B5B5, Correct!\n",
      "117 : i8A4A5B4B4B4B4b4b4B4B4A4A5A4A6o3, Correct!\n",
      "039 : i10A10B8B8b5A10B8B8b5B8X3o4, Correct!\n",
      "119 : i9A4A4A4A5B8b4b4A4A5B8X9o4, Correct!\n",
      "120 : i4A9B4B4x4A9B4B4B4B4o4, Correct!\n",
      "093 : i8A8A8B8B8C6x6A8B8B8C6o3, Correct!\n",
      "122 : i8A8A8B8b4b4A8B8B8X3o4, Correct!\n",
      "123 : i4A8A8X1B8B9b4b4X1B8B9, Correct!\n",
      "124 : i8A4A4B16x4A4A4B16o5, Correct!\n",
      "107 : i8A16A16B8B8b8b8A16A16B8B8B8B8X8B8B8B8, Incorrect! Ground Truth: i8A16A16B16x16A16A16B16B16B16B16, i8A16A16B8B8b8b8A16A16B8B8B8B8B8B8B8B8\n",
      "115 : i4A8A8B8B10x4A8B8B8B8B8X4o4, Correct!\n",
      "125 : i8A8A8B8B8b4b4A8A8B8B8o9, Correct!\n",
      "128 : i4A4A4B4B4b4A4B4B4b4b4B4B6o4, Correct!\n",
      "077 : i9A4A4B8B8C8b4b4B8C9B8B8C8X2D8D8, Correct!\n",
      "035 : i4X8A8B8B8x8B8A8B8B8o5, Correct!\n",
      "099 : i6A4A4B6C9b4b4A4A4B6C8C9X3o4, Correct!\n",
      "130 : i6A8A8B9b4b4A8B9B9o5, Correct!\n",
      "131 : i4A8A8B8x4A8B8X3B9o3, Correct!\n",
      "114 : i8A4A4B4B4C4C4b4b4A4A4B4B4C4C4C4C4X2, Correct!\n",
      "133 : i11A8A9B8b5b5A8A9B8B9o1, Correct!\n",
      "136 : i6A4A4B8A4x4A4A4B8A4b4b4B8A4o4, Correct!\n",
      "121 : i8A8A8B4C4B4C4b4b4A8B4C4B4C4B4C4B4C4C4o1, Correct!\n",
      "132 : i6A4A4B8C8x4A4A4B8C8C8o5, Correct!\n",
      "137 : i5A8A8B14x5A8B14o10, Correct!\n",
      "134 : i11A12B8x7A12B8X8B8B9o6, Incorrect! Ground Truth: i11A4A4X2B4B4X3x6A4A4X2B4B4X8C4C4C4C4X4o4, i11A10B10x7A10B10X6B8B11o6\n",
      "139 : i4A8A8B4B4b5b5A8A8B4B4o10, Correct!\n",
      "126 : i8A8A8X1B13x3A8A8B13X1B13X2o5, Correct!\n",
      "141 : i12A4A5B11b4b4A4A5B11b4b4B11o1, Correct!\n",
      "014 : i8A4A4B4B4C9x3A4A4B4B4C9x1b5b5C8C9o9, Correct!\n",
      "145 : i7A4A5B4B4A4B4B4A4o3, Correct!\n",
      "142 : i5A8A8B8B8b4b4x1A8B8B8X4, Correct!\n",
      "129 : i8A16X1A16b4b4A16X1A16X1A16X4o7, Correct!\n",
      "147 : i9A8B10x4A8B10B10X4o2, Correct!\n",
      "113 : i10A4A4B9C8C8x7A4A4B9C8C8o8, Incorrect! Ground Truth: i10A8B8C8C9x7A8B8C8C9o7, i10A4A4B8C8C9x7A4A4B8C8C9o7\n",
      "149 : i4A9B8B8A9B8B8x3X8C4C6o4, Correct!\n",
      "151 : i4A8A8B9x8A8B8B8X6, Correct!\n",
      "118 : i8A4A4B5C4C4D6b4A4B5C4D6b4x4D8o6, Correct!\n",
      "135 : i4A8A8B8C8C8x4A8B8C8C8o4, Correct!\n",
      "146 : i8A8A8A8A8X4b5b5A8A8X3A8A8X3o4, Correct!\n",
      "150 : i4A4A4B8C10x2A4A4B8C9C9o3, Correct!\n",
      "144 : i3A16B4B4x4A16B4B4B4B5o4, Correct!\n",
      "155 : i4A16B8A16B8B9, Correct!\n",
      "140 : i20A8A8B8A8b4b4b4A8A8B8A8A8X7, Correct!\n",
      "078 : i8A8A9B14b4b4A8A9B14B16, Correct!\n",
      "160 : i4A8A8B4B4x4A8B4B6X10B5X2o1, Correct!\n",
      "161 : i4A4A4B4x5A4A4B4X8o2, Correct!\n",
      "162 : i10A8A8B4B4A8B4B4x6B4B4B4B4o8, Correct!\n",
      "095 : i5A16B4B5x3A16B4B4b4b4B4B4B4B6X4o4, Correct!\n",
      "164 : i4A9B4x4A9B4B4x3, Correct!\n",
      "165 : i9A4A4B10x4A4A4B9B11o3, Correct!\n",
      "166 : i8A4A4A4B5C8C9A4A4A4B5C8C9o5, Incorrect! Ground Truth: i8A16B8B8X2A16B8B8X2o4, i8A8A8B8B10A8A8B8B10o4\n",
      "046 : A4A4B8C8C8C8C8x7A4A4B8C8C8C8C8o2, Correct!\n",
      "167 : i8A8A8B4B4b4b4A8A8B4B4B4B6o4, Correct!\n",
      "169 : A4A4B4B5x3A4A4B4B4C4C5o4, Correct!\n",
      "156 : i9A8A9B8B8x1b4b4b4A8A9B8B8B8B8o7, Correct!\n",
      "171 : i4A4A4B4b4A4A4B4b4A4A4B4B4o5, Correct!\n",
      "172 : A8A8B9x3A8B9X6B9o3, Correct!\n",
      "168 : i8A12A12B4B4b4A12B4B6b4b4B4B6o4, Correct!\n",
      "174 : i8A8A8B4B4A8b4b4B4B4A8o2, Correct!\n",
      "020 : i8A8A8B4B4A8A8B4B4B4B4b4b4B4B4B4B4A7o7, Correct!\n",
      "175 : i4X8A8A8b4b4A8A8X3o1, Correct!\n",
      "176 : i18A10X2B4A10b4b4x1b4B4B4A10B4B4A10X1o2, Incorrect! Ground Truth: i18A8A8A9x14B8A10B8A10o4, i18A8A8A9x14B8A10B8A10o4\n",
      "178 : i11A8A8B8A8b4b4B8A8A8, Correct!\n",
      "173 : i9A8A8B8B8A8b4x1b4A8B8B8B8B8A8X4o3, Correct!\n",
      "177 : i4A4A4B4C4C5x4A4A4B5C4C5C4C5X2, Correct!\n",
      "153 : i7A9A8b4B4C5b4x3A9A8b4B4C4B4C4C5o4, Correct!\n",
      "182 : i6A4A4B5B6b4b4A4A4B5B6B5B6X3o1, Correct!\n",
      "181 : i4A8A8B4B5x3A8B4B5X8B4B4X2o3, Correct!\n",
      "184 : i8A4A4B4B5b4b4A4A4B4B4B4B5X2o4, Correct!\n",
      "183 : i4A4A4B4B4C8C8x4B4B4C8C8X4, Correct!\n",
      "179 : i3A8A8A8A8x4A8A8A8A8A8A8X5, Correct!\n",
      "186 : i4A8A8B8A8B8x4X4B8X4o1, Correct!\n",
      "069 : i8A9x3A10X2B4C8x4A9x3B4C8C8D4D4C8C8o9, Correct!\n",
      "158 : i7A8A8B16b4b4A8A8B16B17o5, Correct!\n",
      "189 : i8A4A4B4B5x7A4A4B4B4B4B4B4B5o4, Correct!\n",
      "191 : i9A4A4B4B4b4b4A4A4B4B4B4B4B4B4X3, Correct!\n",
      "190 : i13A4A4B9C4C5x1b4b4B9C4C5C4C5X3, Correct!\n",
      "193 : i9A8A8B8B9b4b4B8B10o3, Correct!\n",
      "192 : i8A8A8B9b4b4A8B8B9X5, Correct!\n",
      "195 : i10A8A9A8A8X4x5A8A9A8A8X8o4, Correct!\n",
      "085 : i8A8A8B9C8C8b4b4A8B9C8C8C8o17, Correct!\n",
      "143 : i11A8A8B5C8C8x7A8A8B5C8C8X2C8C8o5, Incorrect! Ground Truth: i11A8A8X2B8B8X3x7A8A8X2B8B8X2B8B8X3o4, i12A8A10B8B10x8A8A10B8B10B8B10o4\n",
      "062 : i16A16A16B8B8C8C8b8b8A16A16X4B9X3C8C8b8x7X1C8C8o16, Correct!\n",
      "199 : A16A16X3o1, Correct!\n",
      "105 : i8A8A8B8B8C6b4b4A8B8B8C6B8B8B8o9, Correct!\n",
      "157 : i2A8b4b4B8B9C8C8A8B8C8C8C8X4D4D5o2, Incorrect! Ground Truth: i2A8x8B8B8x1C16A8B8C16C16X5o1, i2A8b4b4B8B9C8C8A8B8C8C8C8C8X5o1\n",
      "201 : i10A8A9B4B4b4b4x1A8A9B4B4B4B4X7o1, Correct!\n",
      "202 : i4A4A4B8x4A4A4B8B9B9, Correct!\n",
      "204 : i8A9A9B8B9A9b6b6b6B8B9A9o26, Correct!\n",
      "205 : i4A8A8A8x2A8A8A8x2A8b4b4b4b4A8x2A9o4, Correct!\n",
      "041 : i8A16B8B8x8A16B8B8B9X3o1, Correct!\n",
      "076 : i13A8A8B8B10b4b4A8A8B8B8B9X5o5, Correct!\n",
      "206 : i4A8B13x3A8B13x7B13B14C4C4, Correct!\n",
      "200 : i10A8A8x2B8B8b4b4A8A8x2B8B8B8X3o8, Correct!\n",
      "154 : A8A9B8B8A8A8x5B9C8C8D4D4D4X3A10, Incorrect! Ground Truth: A8A8X1B8B8A8A8X1x4B8C8C8D8D8X9, A8A9B8B8A8A9x4B9C8C8D4D4D4X3A10\n",
      "This version running TOO long, quit at middle!\n",
      "073 : i2A8b4b4A8B8C4D4b4b4A8B8C4D4C4D4D4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "007 : i8A8A9B8B8C4C4b4b4A8A8B8B8b4b4B8B8X6, Correct!\n",
      "212 : i12A8A8B8B8b4b4A8B8B8B8B8X4o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "088 : i12A8A8A8A8B9C5b4b4b4x2A8A8B9C5B9C4x3A8A7o6, Incorrect! Ground Truth: i12A16A16B14b7b7A16B14B14x2A15o6, i12A8A8A8A8B14b4b4b4x2A8A8B14B14x2A8A7o5\n",
      "This version running TOO long, quit at middle!\n",
      "096 : i10A8A6B4C8B4B4b5b5x1A8A6B4C8B4B5o5, Incorrect! Ground Truth: i10A8A8B16X3b5b5A8A8B16X4o3, i10A8A8B8C12b4x1b4A8A8B8C12o3\n",
      "This version running TOO long, quit at middle!\n",
      "048 : i8A8B16C8b4b4A8B16C8C9X2, Incorrect! Ground Truth: i8A8B7x1C8D7x9A8B7x1C8D7X11, i8A16B8C8b4b4A16B8C8C9X2\n",
      "This version running TOO long, quit at middle!\n",
      "038 : i8A13B8B8X7x5X5B8B8X3A14o4, Correct!\n",
      "207 : i12A8A8B8B10A8A8B8B10b5b5b5X1B8B10o12, Correct!\n",
      "219 : i4A12x4A14X3o1, Correct!\n",
      "217 : i8A8A8B8b4b4A8A8B8B8o8, Correct!\n",
      "221 : i11A4A5X8B5b4C8b4A4A4B5b4C8b4A4A4A4o4, Correct!\n",
      "222 : i8A8B8A8b4b4A8B8A8o3, Correct!\n",
      "187 : i9A8A8B16A8b4b4b4b4A8A8B16A8o10, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "127 : i2A15B8B8x3A15B8B8x7X3B8B8o5, Correct!\n",
      "225 : i8A8A8B8B8X2A8B8B9x5X1B8B9o4, Correct!\n",
      "226 : i2X9A10B12A10B14X9, Incorrect! Ground Truth: i2X7A6B9C4D4A6B9C4D4D4A6A4, i2X6A14B8A14B8X13\n",
      "218 : i10A4A4B5C8C8b4b4A4A4B5C8C8C9, Correct!\n",
      "227 : A8B4B4A8B4B4A8A8X2C4C4C4C6o4, Correct!\n",
      "229 : A16x2A16B8B8x2A17X3, Correct!\n",
      "230 : i8A8A8B8B8B8X5o6, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "163 : i15A16B8b6A16B8b6X8, Incorrect! Ground Truth: i15A13B11b6A13B11b6X7, i15A4B4A4x1C12b5A4B4A4x1C12b5X7\n",
      "This version running TOO long, quit at middle!\n",
      "170 : i4A4A4B4C4C4D4D4A4A4B4C4C4D4D4E4E4D4D4D4D5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "148 : i8A16A16B8B8b4b4A16B8B8A16X8o1, Correct!\n",
      "231 : i8A8A8B8A8b6b6b6A8A8B8A8B8A8A8o12, Correct!\n",
      "235 : i4A8A8B8b4b4B8B8o6, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "180 : i8A4A4B4A4C8D9x1b5b5A4A4B4A4C8D8D8o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "188 : i8A8A8X3B4C4B4C5X1A8A8X2B4C4B4C5X2B4C4B4C5C5o5, Incorrect! Ground Truth: i8A8A8X1B14C5X1A8A8B14C5B14C5C5o4, i8A8A8X1B9C11A8A8B9C10B9C10X5o4\n",
      "This version running TOO long, quit at middle!\n",
      "185 : i11A9A9B4C4B4D6b5b5X1A9A9B4C4B4D6B4C4B4D6o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "138 : i10A8A9B8B8b4b4A8A9B8B8C4C5B8B8X3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "159 : i8A8A8B9C4C5A8A8B10D4D4B9C4C4C4C5, Correct!\n",
      "241 : i5A4A4B12x3B12X3o2, Correct!\n",
      "238 : i9A8A8B4B4x3A8A8B4B4x7B4B4B4B4B4o1, Correct!\n",
      "242 : i6A8A8B8B8x4A8B8B9o3, Correct!\n",
      "244 : i8A8A8B4B5x7A8A8B4B5B4B5o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "194 : A16A16B15x7A16B16B16o5, Correct!\n",
      "245 : i12A8A8B4B5x7A8A8B4B6B4B6o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "198 : i15A4B12C4B12D8b6b6A4B12C4B12D9o14, Incorrect! Ground Truth: i15A8A8A8A8B8b4b4b4C8C8C8C8B8X1o13, i15A8A8A8A8B8b4b4b4A8A8A8A8B9o13\n",
      "248 : i8A8A8B4B4B4B4b4b4A8A8B4B4B4B4B4B4, Correct!\n",
      "247 : i9A8A8B8B9x1b4b4A8B8B8B8B8X4A9o1, Correct!\n",
      "237 : i4A4A4B8C8b5b5A4A4B8C8C8A4X3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "043 : i18A8A8B8C8C8D4D4b4b4b4A8A8B8C8C8D4C8C8D4D4o3, Correct!\n",
      "249 : i8A9A9X1B8B8b5b5b5A9X1B8B8B8B10o8, Correct!\n",
      "233 : A4A4B17A4A4b4b4B18A4A4A4A4, Correct!\n",
      "253 : i4A8A8B10A8B11X16o3, Correct!\n",
      "255 : i3X1x3X1A8A8A8A8X3x4X1A8A8A8A8X4, Correct!\n",
      "256 : i7A4A4B9b4x1A4B10b4B10o3, Correct!\n",
      "257 : i8A14x3A14x3A14x3A14o2, Correct!\n",
      "223 : i16A16A16B8B8b4b4b4b4A16B8B8B8B7o13, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "196 : i8A18X4A18X4B16B18b8A18X3B16B16X10b8b8X1B18X3o1, Incorrect! Ground Truth: i8A8B12x2A8B12X2C4D4C4D4C4D4C4X5x1b4b4A8B12X3C4D4C4D4C4D4C4X13b4b4b4b4x2C4D4C4D4C4, i8A20x2A20x2B8B8B8B10b8A21B8B8B8B9X8b8b8x2B8B8X5\n",
      "This version running TOO long, quit at middle!\n",
      "034 : i9A8A8B8C8C8b6b6b6A8A8B8C8C8C8C9A9o8, Correct!\n",
      "224 : A4A4B4B4C8C9x3A4A4B4B4C9D8D8o1, Correct!\n",
      "258 : i4A8A8X1B8B10b4b4A8B8B10b4x1X1B8B10o8, Correct!\n",
      "251 : i8A4A4A4A4B8B8C4C4A4A4B8B8x2B8B8C4C4C4C4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "210 : i11A18B8B8x3A17B8B10X8B8B8o5, Incorrect! Ground Truth: i11A12X2B8B8X7A12X1B8B8X10B8B8X3o4, i11A12x2B8B9x6A12x1B8B9x1X8B8B8X3o4\n",
      "262 : i9A8A8B8A8b4b4A8B8A8B8A8o6, Correct!\n",
      "263 : i8A8A8B8B8b4b4A8A8B8B8B8B8o9, Correct!\n",
      "267 : A4A6X5B8B10X5, Incorrect! Ground Truth: A4A4B4B4C4C4X13, A4A4B4B4C8C9X4\n",
      "268 : i4X4A4B4B4x4A4B4B4B4B4o8, Incorrect! Ground Truth: i4A4A4B4B4x4A4B4B4B4B4o7, i4A4A4B4B4x4A4B4B4B4B4o7\n",
      "266 : i8A10A11b4b4A10A11b4b4x1A11X18, Incorrect! Ground Truth: i8A9x1A9X2b4b4A9x1A9X2b4b4x1A9B6B6B6X1, i8A5B5A5B6b4b4A5B5A5B6x1b4b4A5B6B6B6B5\n",
      "264 : i7A9A8B17b4b4X8B17, Incorrect! Ground Truth: i7A9A9X1B6B6X3b4b4A9X1B6B6X2, i7A9A10B6B6X3b4b4A10B6B6X3\n",
      "270 : i8A8A8B8B8x4A8B8B8B9o3, Correct!\n",
      "271 : i8A4B4A4B4C4B4C4B4b4b4A4B4C4B4C4B4B6, Correct!\n",
      "272 : i5A4A4B5C4C4x4A4A4B5C4C4C4C4o4, Correct!\n",
      "273 : i9A4B8B8B8X6b4b4A4B8B8B8o2, Incorrect! Ground Truth: i9A8A8B8B8X2b4b4A8B8B8X2o1, i9A8A8B8B10b4b4A8B8B10X2o1\n",
      "275 : i4A4A4B4B4A4b4b4B4B4B4B4B4o1, Correct!\n",
      "276 : i8X4A8B4B4b4b4A8B4B4B4B4X3o7, Incorrect! Ground Truth: i8A4A4B4C8b4b4A4B4C8C8X3o6, i8A4A4B4C4C4b4b4A4B4C4C4C4C4X3o6\n",
      "269 : i8A8B8A8b4b4A8B8A8b4b4B8A10o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "209 : i16A16A17B16B16x5A17B16B16X12o4, Incorrect! Ground Truth: i16A16A16B16B16X6A16B16B16X13o3, i16A16A16B16B16x6A16B16B16X13o3\n",
      "279 : i8A8B16b4A8B15b4b4X9o9, Correct!\n",
      "239 : i8A8A8B4C4B4D4X3A8A8B4D4x3B4C4B4D4o6, Incorrect! Ground Truth: i8A16B8B8X3A16B8X3C8C8o5, i8A8A8B4C4D8X3A8A8D8x3B4C4D8o5\n",
      "281 : i4A8A8B4B5x3A8B4B4B4B5o5, Incorrect! Ground Truth: i4A8A8B8x4A8B8B8X1o4, i4A8A8B9x3A8B8B9o4\n",
      "282 : i4A4A4B4C9x3A4A4B4C9x3C9C9o3, Correct!\n",
      "283 : i2A8A8B4B4b4A8B4B4b4b4B4B4X3o1, Correct!\n",
      "284 : i8A8A8B4C4B4C4b4b4A8A8B4C4B4C4B4C4B4C4X4o2, Correct!\n",
      "285 : i7A12B10A12B12X2x3B12o3, Correct!\n",
      "286 : i9A8B10A8B9b4b4B9o2, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "216 : i8A8A8B9X1B8B9X3A8A8B9X1B8B9X9B9X1o7, Incorrect! Ground Truth: i8A8A8B10C8C9x3A8A8B10C8C10C8C10o6, i8A8A8B9X1C8C9X3A8A8B9X1C8C9X1C8C9X1o6\n",
      "This version running TOO long, quit at middle!\n",
      "220 : i8A8A8X1B4C8C9D4b5b5X1B4C8C9D5A8o7, Incorrect! Ground Truth: i8A8A8B7C8C8X3b5b5B7C8C8X4A8o6, i8A8A8B7C8C10x1b5b5B7C8C10x2A8o6\n",
      "289 : i8A8A8X9x6X8B9B10o4, Incorrect! Ground Truth: i8A8A8B9x6A8B9B8X3o5, i8A8A8B9x6A8B9B11o5\n",
      "290 : i8A8A8X1B5X1x4A8X1B4B4B4B5o3, Incorrect! Ground Truth: i8A8A8B4B4x3A8B4B4B4B4X2o2, i8A8A8B8x3A8B8B10o2\n",
      "288 : i17A8A8B8B9b4b4X1A8B8B9X1B8B9o4, Correct!\n",
      "291 : i9A8A9B8B8x4A8A9B8B8X3o3, Correct!\n",
      "293 : i4A4A4B8B8x4A4B8B9X2o4, Correct!\n",
      "294 : i8A8B4A8b4b4A8B4A8B4A8X4o4, Correct!\n",
      "292 : i8A8X8B4B4B4B4b4b4A8B4B4B4B4A8o1, Incorrect! Ground Truth: i8A8A8B8B8b4b4A8B8B8A8, i8A8A8B4B4B4B4b4b4A8B4B4B4B4A8\n",
      "296 : i4A4A4B4C4C4x4A4A4B4C4C5o4, Correct!\n",
      "297 : i4A8A8B8B8b4b4A8B8B8, Correct!\n",
      "287 : i6A8A8B8b4A8A8B8b4x3X8B8X4, Correct!\n",
      "299 : i4A4A4B9x3A4B10B10o2, Correct!\n",
      "298 : i8A8A8B8b4b4A8A8B8B8B8X2o4, Correct!\n",
      "300 : i12A8A8B8b4b4A8A8B8B8o8, Correct!\n",
      "302 : i12A4A4B7b4A4A4B7b4b4b4b4B8B8o3, Correct!\n",
      "301 : i4A4A4B4C8C8x3A4B4C8C9C9X2, Correct!\n",
      "304 : i6A6A5B4B5x4A5B4B5X4, Correct!\n",
      "277 : i7A8A8B18b4b4A8B17B18o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "214 : i12A16A16X1B8B10x1b6b6b6A16X1B8B10X1B8B10o12, Incorrect! Ground Truth: i12A16A16B8B8X4b6b6b6A16B8B8X3B8B8X3o11, i12A16A16B20b6b6b6A16B19B19o11\n",
      "278 : i2A8A9B16b4A8A9B16x4b4B16B16o2, Correct!\n",
      "308 : i4A12x4A12X3o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "203 : i16A8A8B8C16C18b4b4A8A8B8C16C18X7o3, Incorrect! Ground Truth: i16A8A8B10C16C16x8A8A8B10C16C16X6o4, i16A8A8B10C8D8C8D8x8A8A8B10C8D8C8D8X6o4\n",
      "306 : i8A15B8B9A15x1b4b4X7B8B8o10, Correct!\n",
      "259 : i9A8A8B8B10b4b4A8A8B8B10B8B10X7o1, Correct!\n",
      "312 : i7A8A8B8B8x4A8B8B8x5X1B8B8o8, Correct!\n",
      "313 : i4A8A8B4B5A8B4B5B4B5o3, Correct!\n",
      "314 : i7A8A8B4B4x5X8C4C4x2C4C4o4, Correct!\n",
      "315 : i4A8B10A8B9X5B10, Correct!\n",
      "316 : i2X9A12A14X6A14X8, Incorrect! Ground Truth: i2X6A4B8A4B8X32, i2X6A4B8A4B8X32\n",
      "317 : i8A8B8A8b4b4B8B8o8, Correct!\n",
      "318 : i3A8A8B8B8X13o3, Correct!\n",
      "319 : i4A12B8B8b4b4A12B8B8o6, Correct!\n",
      "320 : i8A4A4B9A4A4B9B9X8B11, Correct!\n",
      "321 : i2A4A4B4B4A4b4b4A4A4B4B4A4B4B4A4o5, Correct!\n",
      "322 : A9B4B4x2A9B4B4x7B4B4X3o7, Correct!\n",
      "323 : i8A4A4B8b4b4A4A4B8B10o1, Correct!\n",
      "324 : i1A14B11A13B11A13o1, Incorrect! Ground Truth: i1A8B8X1C4C4A8B8C4C4A8X5, i1A8B9C8A8B8C8A8X5\n",
      "325 : i8A8A8B8B8X8B8B8o5, Correct!\n",
      "326 : i4A6A6A6A5o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "246 : i14A16B8C11x5A16B8C12X1C11X3, Incorrect! Ground Truth: i14A8B13C13X1x5A8B13C13C13X1, i14A8B13C14x5A8B13C13C14\n",
      "327 : i8A8A8A9b4b4A8A8A8b4b4b4b4A9o10, Correct!\n",
      "243 : i8A16A16X1B17X9B16o1, Incorrect! Ground Truth: i8A16A16B16X10B16X1, i8A16A16B16X10B17\n",
      "309 : i16A13A13B8B8b4b4A13B8B8B8B8X6, Correct!\n",
      "331 : i4A4B4A4B4A4o4, Correct!\n",
      "332 : i8A4A4b4A4A4b4b4A4A4b4A4A4o8, Correct!\n",
      "333 : i2A9A8B4C9C11b4b4x1A8B4o1, Incorrect! Ground Truth: i2A9A9X5B9B9b4b4x1A9X3, i2A9A9X5B9B9b4b4x1A9X3\n",
      "334 : i6A8B5x4A8B5B7, Correct!\n",
      "329 : i8A8A8B5C4C4x2A8B5C4C4X2x4C4C4X2o4, Correct!\n",
      "335 : i6A4A5B4C4b4A5B4C4b4x1B4B4B5, Correct!\n",
      "337 : i8A4A4B8B8b4b4A4A4B8B8o5, Correct!\n",
      "305 : i3A8A8B8B10A8A8B8B10x3C4C6o3, Correct!\n",
      "339 : i5A8A8B8B8C4x3A8B8B8C4o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "252 : i4X6A12X4A12X2B8B8C4X2A12X4B8B8C4C4x8B8B8X6, Incorrect! Ground Truth: i4X5A16A16B16C4A16X2B16C4C4x7X1B16X4, i4X5A16A16B8B8C4A16X2B8B8C4C4x7X1B8B8X4\n",
      "303 : i4A8A8B4B4C4C4b4b4A8B4B4C4C4C4C4b4b4C4C4o3, Correct!\n",
      "341 : i8A9A8B8b9A8B8b9B8B8X4o1, Correct!\n",
      "338 : i12A8A8B8B8b4b4A8B8B8X6B8B8X8o2, Correct!\n",
      "343 : i5A4A4B8x5A4A4B8X8B8X1o1, Correct!\n",
      "345 : i12A8A8B8B8b4b4A8B8B8o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "240 : i21A8A8B8B8C8C8b5x1b5b5B8B8C8C8C7X10A5o1, Incorrect! Ground Truth: i21A8A8B8B8C8C8b4b4b4b4B8B8C8C8C8X14, i21A8A8B16C8C8b4b4b4b4B16C8C8C8X9A5\n",
      "347 : i4A8A9B8B9x5A9B8B10o7, Correct!\n",
      "348 : A8A8B4B4x4A8B4B4B4B4o1, Correct!\n",
      "349 : i4A4B8b4b4A4B8X8B8X3, Correct!\n",
      "350 : i4A4A4B13x4A4B13B13o4, Correct!\n",
      "351 : i10A13x1b5A13b5b5A13x1b5A13o4, Correct!\n",
      "352 : i4A9A9B4B5b4b4A9A9B4B6o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "261 : i8A16A16B8B7x3A16B8B8b4b4b4x3B8B8B8X5o7, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "236 : A8A9B8C8C10X5A8A9B8C8C8X8C8C8D8D8, Incorrect! Ground Truth: A8A8B7C8C8X9A8A8B7C8C8X8C8C8D8D8, A8A8B7C8C9D8A8A8B7C8C9D7C8C9D8D8\n",
      "354 : i4A8B10x3A8B12X4B11o4, Correct!\n",
      "274 : i4A8A8B8B8b4A8A8B8B8x1b4x2X1B8B8b4A7o1, Correct!\n",
      "353 : i8A4A4B8C8C9x7B8C8C9X1o7, Correct!\n",
      "358 : i4A4A4B4B5x3A4B4B4B4B5o3, Correct!\n",
      "340 : i7A16B8B8A16B8b4b4B8B8o8, Correct!\n",
      "360 : i8A4A4B4B4C4C4x8A4A4B4B4C4C4C4o9, Correct!\n",
      "361 : i4A4A4B4B5x3A4A4B4B5x3X4B4B6o3, Correct!\n",
      "356 : i2A4A4B4C4C4b4b4x1A4A4B4C4C4C4C4X6, Correct!\n",
      "357 : i3A4A4A4A4B4B4b4b4A4A4A4A4B4B4B4B4B4B5o13, Correct!\n",
      "362 : i1A4A4B4C4A4A4X8x7B4C4B4C4C5o1, Correct!\n",
      "359 : i4X9A16X3A16A17X4, Incorrect! Ground Truth: i4A4A5B9x1A4A5B9X7B8B9x2X2, i4A4A4x1B9x1A4A4x1B9X9C8C8X1\n",
      "365 : i4A9B4B4x4A8B4B4B4B6X1o5, Correct!\n",
      "367 : i4A4A5B4B4x4A4A5B4B4X5o4, Incorrect! Ground Truth: i4A4A5B4B4x4A4A5B4B4B4X1o3, i4A4A4B4C5x4A4A4B4C4C6o3\n",
      "364 : i3A8A8B5x3A8B5x4X4B5C4C5X4o5, Correct!\n",
      "363 : i4A8A8B4B4x4A8A8B4B4B4B4X4, Correct!\n",
      "370 : i4A4A4B4C4D4x4A4B4C4D4C4C4C5o3, Correct!\n",
      "371 : i8A8B11x1b4A8B11x1b4b4B11o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "228 : i24A8A8X1A8A8X1B12C6B12b4b4b4x2A8A8B12C6X4C6X4, Incorrect! Ground Truth: i24A16X1A16X1B10C8B10b4b4b4b4A16B10C8B8B6, i24A8A8X1A8A8X1B10C8B10b4b4b4b4A8A8B10C8B10X5\n",
      "366 : i14A4B4A4B4C8A4B4b4b4A4B4A4B4C8A4B4B4B4B4B4, Correct!\n",
      "372 : i8A4A4B4C8b4b4x1A4A4B4C8C8o3, Correct!\n",
      "375 : i7A4A4B4C4C4b4b4A4A4B4C4C5C4C4X3o5, Correct!\n",
      "311 : X8A13B4B4x5A13B4B4B4B4B5o1, Correct!\n",
      "376 : i9A8A8B4B4A8b4b4B4B4B5o5, Correct!\n",
      "377 : i4A4A4X1B4B4x3A4X1B4B4x7B4B5, Correct!\n",
      "378 : X4x4A4A4B4B5x3A4B4B4X4B4B5o3, Correct!\n",
      "379 : i9A8B9b4b4A8B9B9o4, Correct!\n",
      "381 : i8A8A8B4B4b4b4A8B4B4B4B6o8, Correct!\n",
      "382 : i8A4A4B8B8b4b4A4A4B8B8B8, Correct!\n",
      "374 : i4A8A9B4B5A8x7A8A9B4B5A8X5, Correct!\n",
      "344 : i5A16X7x4A16B14X3B13o5, Incorrect! Ground Truth: i5A16B7x4A16B7X10B7X6o4, i5A16B7x4A16B7X10B7X6o4\n",
      "295 : i8A7A8B8C4C5b5b5A8B8C4C4C4C5o2, Correct!\n",
      "380 : i8A16B8b4A16B8b4X1B8o5, Correct!\n",
      "387 : i8A8A8B4B4x7A8A8B4B4x3X1B4B4o3, Correct!\n",
      "388 : i16A4A4B4C4b4b4A4A4B4C4D4D4b4C4X4o2, Correct!\n",
      "389 : i7A8A9b4x3A9b4b4A9B7B7o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "211 : i8A4X4A5B5C8D18b4b4x2A5B5C8D18D18X5o4, Incorrect! Ground Truth: i8X8A10B8X1C8C8X1b5b5A10B8X1C8C8X2C8C8X4o3, i8X8A18B18b5b5A18B18B18X5o4\n",
      "390 : i4A8A8B8B8b4x1b4A8A8B8B8o4, Correct!\n",
      "391 : i4A8A8B4C9x4A8B4C9C9o3, Correct!\n",
      "392 : i9A8A9B8B8b4b4A9B8B8B8B8o8, Correct!\n",
      "393 : i9A8B13b4b4A8B13B13o5, Correct!\n",
      "395 : i4A4A4A4A5B8b4b4A4A4A4A5B8B8o4, Correct!\n",
      "383 : i9A8A8B4B4C5x5A8A8B4B5x3B4B4C6o3, Correct!\n",
      "396 : X4b4A8B12b4A8B12b4b4B12o5, Correct!\n",
      "394 : i4A4A4B4B4C4C4A4A4B4B4C4C4A4A4A4A5o16, Correct!\n",
      "398 : i3A4A4B8C8x3A4A4B8C8C8o5, Correct!\n",
      "400 : i4A4A4B4C8b4b4A4B4C8x2C8X9o2, Correct!\n",
      "397 : i9A8A8B8B10b4b4A8B8B8B8B10o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "234 : i8A8A8B8B8b4b4b4b4A8B8B8X16B8B8X3o23, Correct!\n",
      "403 : i4A4A4B9x4A4A4B8B9o5, Correct!\n",
      "401 : i4X7A5B13x2A5B16B14X3, Incorrect! Ground Truth: i4X8A8B4B5x3A8B4B5B4X14, i4X8A8B4B5x3A8B4B5B4X14\n",
      "405 : i7A8A8B8x3A8A8B8B8X3o5, Correct!\n",
      "402 : i10A8A8B8B8b5b5A8B8B8B8B8X3o3, Correct!\n",
      "407 : i4A6B12x3A6B12X1B12o4, Incorrect! Ground Truth: i4A8x1B8x4A8x1B8X5B8o3, i4A8x1B8x4A8x1B8X5B8o3\n",
      "406 : i8A8A8A8A8A8b4b4A8A8A8A8, Correct!\n",
      "384 : i2X4b4A4A4B4B4b4b4A4A4B4B4B4B4X6o4, Correct!\n",
      "409 : i2A9B9A8A8x4X4B9A8A8A8o1, Correct!\n",
      "408 : i9A4A4B8C4C4x6A4A4B8C4C4C4C4X2o5, Correct!\n",
      "410 : i9A8A8B8B11x6A8A8B8B8B8B10o8, Correct!\n",
      "413 : i4A4A4B4C9A4B4C8x3C10o10, Correct!\n",
      "411 : i4A8A8B8B9b4A8B8B9x3b4B8B10o2, Correct!\n",
      "414 : i4A4A4B4C9b4b4A4B4C9C9o3, Correct!\n",
      "404 : i8A8A8B8B10b4b4A8A8B8B8X6o4, Correct!\n",
      "416 : i4A8A8B8x4A8B8b4b4x1B8B8o5, Correct!\n",
      "415 : i8A8A8B4B5b4X9C4C5x1b4C4C5X4o3, Correct!\n",
      "412 : i8A8A8B4C5b4b4A8B4C5b4B4C6B4o5, Correct!\n",
      "420 : i1A4A4B9x3A4A4B8B9o2, Correct!\n",
      "421 : i4A8A8B9x3A8B11X3B9X4o3, Correct!\n",
      "417 : i8A4B4A4B4C8A4B4x3X5C9A4B4B4X5o4, Correct!\n",
      "418 : i8A8A8B9x7A8B8B10C8C10o9, Correct!\n",
      "424 : i5A8B8B8x3A8B8B8x7B8B8X3o1, Correct!\n",
      "425 : i2A8A8B4B4b4b4A8B4B4B4B4A8o1, Correct!\n",
      "423 : i5A8A9B11x5A9B11X5B12o3, Correct!\n",
      "422 : i4A4A4B16x3A4A4B16X15, Correct!\n",
      "427 : i5A7B4C8X1A7B4C8x4D4D4B4X1C8C8o5, Correct!\n",
      "428 : i7A4A4B14x4A4A4B14X14o4, Correct!\n",
      "426 : i4A4A5B4B4C4C4x2B4B4C4C4x4A4A4C4C4X3o2, Correct!\n",
      "419 : i9A16B4B4A16B4B4x4B4B4B6o2, Correct!\n",
      "432 : i4A4A4A4A4B9b4b4A4A4B9X1A5o1, Correct!\n",
      "433 : i4A4A4B4B5A4B4B5x3B4B5o4, Correct!\n",
      "434 : i4A8A8B4B5x4B4B5X4o10, Correct!\n",
      "373 : i8A8A8B4B4C4b4b4A8A8B4B4B4B4C4o8, Correct!\n",
      "436 : i8X4A4A4X3B8B8b4b4x1A4X3B8B8B8o1, Incorrect! Ground Truth: i8X8A7B4B4B4C4x1b4b4A7B4B4B4C4B4C4, i8A8A8B8B7x1b4b4A8B8B8B7o1\n",
      "346 : i4A4A4A4A4B8b4A4A4B8b4b4b4b4C4C4B8B8B8A4A5, Correct!\n",
      "438 : i8A4A4B4B5x3A4A4B4B5x3X6B4B4B4B5o23, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "265 : i8A8X2B4B4B4X2A8b4b4X2B4B4B4X3A8b4x4A8A8A8o12, Incorrect! Ground Truth: i8A8B16A8b4b4B16X9b4x4A8A8A8o11, i8A4A4A4A4B4B4A4A4b4b4A4A4B4B4X5A4b4x4A4A4A4A4A4A4o11\n",
      "437 : i10A4A4B9C8C9x7B9C8C9X6o1, Correct!\n",
      "385 : i8A8A8A8A8B16A8A8b4b4A8A8B16A8A8X3o17, Correct!\n",
      "441 : i8A8A9B4C4x6A8A9B4C5B4C5B4o3, Correct!\n",
      "440 : i12A8A8B8B8C5A8B8B8C5B10o8, Correct!\n",
      "444 : i8A8A8B8A8b4b4B8A8o5, Correct!\n",
      "443 : i5A8A8B8B8x3A8B8B8X5o2, Correct!\n",
      "435 : i8A4A4B4B4C4C5A4A4B4B4C4C4C4C4x4C4C4C4C5o4, Correct!\n",
      "447 : i2A13A12, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "254 : i10A16A16x2B16b4b4A16x2b4B16b4X34o9, Correct!\n",
      "445 : i8A8A8B8B8x4A8B8B8B8B8o5, Correct!\n",
      "446 : i8A8A8B8b4b4A8A8B8B8X3o3, Correct!\n",
      "430 : i8A16B8B9x7A16B8B9X6o1, Correct!\n",
      "450 : i8A8A8B8B8b4b4A8B8B8X3o2, Correct!\n",
      "452 : i4A4A4B11X6B11X2B9X6, Incorrect! Ground Truth: i4A16X1A16X19, i4A16X1A16X19\n",
      "449 : i8A8A8B8B8b4b4A8B8B8B8B8X4o3, Correct!\n",
      "455 : i4A8B8A8b4b4B8A8X3o5, Correct!\n",
      "456 : i4A5X3A8B9x2A8B9X4B10X1o2, Incorrect! Ground Truth: i4A8A8B9x2A8B9X4B9X2o1, i4A8A8B9x2A8B9X4B9X2o1\n",
      "This version running TOO long, quit at middle!\n",
      "280 : i16A8A8A8A8B16b4b4b4b4x2A8A8B16B16X5o1, Correct!\n",
      "453 : i5A4A4B4B6b4b4A4A4B4B6B4B4B4B4B4B4B6, Correct!\n",
      "454 : i2X1x3X1A8A9B8B9x8X3B8B8B9X2C6X1B8B8C6o3, Incorrect! Ground Truth: i2X6A8A8B8B9x11A8B8B9X9B8B9X5o2, i2A6B8B8B8B9x8X3B8B8B9C4C4X1B8B8A6o2\n",
      "459 : i10A4A4B4C4C4D4b4b4A4A4B4C4C5C4C4D4o1, Correct!\n",
      "439 : i6A8A8B7C4C4b4b4A8B7C4C4X1C4C4o5, Correct!\n",
      "462 : i4A4A4B13B12B13X2, Correct!\n",
      "463 : i6X4A13x3A12A13X4o3, Correct!\n",
      "464 : i4A8A8B10x7A8B10B10o4, Correct!\n",
      "457 : i1A8B4B4C4C4x2A8B4B4C4C4b4b4C4C4o5, Correct!\n",
      "465 : i5A8A8B8x3A8B8X8B9o6, Correct!\n",
      "466 : i6A4A4B4C8b4b4b4A4B4C8X5C8o10, Correct!\n",
      "468 : i4A4A4B4B5x3A4B4B5A5X5o3, Correct!\n",
      "467 : i4A8A8B4C4C4x6A8B4C4C4C4C4o2, Correct!\n",
      "469 : i8A4B4A4B4B4C4C6x7A4B4B4C4C4X5o1, Correct!\n",
      "471 : i3A8B4B4x5A8B4B4B4B4X5, Correct!\n",
      "472 : i2A8A8B8b4b4x1A8A8B8X8o5, Correct!\n",
      "473 : X4A4A4B4C8x5A4A4B4C8C8o3, Correct!\n",
      "474 : i4A4A4B4B4A4A4x4A4A4B4B4A4A4o7, Correct!\n",
      "461 : i4A4A4B8C16x5B8C16C15, Correct!\n",
      "476 : i8A9B11X2A8B9B10o2, Correct!\n",
      "475 : i4A4A4B4B4A4A4x4A4A4B4B4B4B4A4A4X2o4, Correct!\n",
      "478 : i4X4A4B4B5x4A4B4B5B4B6o3, Incorrect! Ground Truth: i4A4A4B9x4A4B9B9X2o1, i4A4A4B9x4A4B9B9X2o1\n",
      "477 : i8A4B4A4B4C4B4C4B4b4b4A4B4C4B4C4B4C4B4C4B4B5o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "260 : i16A8A8B4C8D8D8b4b4A8A8B4C8D8D8X2D8D8X6o7, Incorrect! Ground Truth: i16A8A8A10B8B10x8A8A8A10B8B10B8B10X7o6, i16A8A8B10C4D4C4D6b4b4A8A8B10C4D4C4D6C4D4C4D6D6o6\n",
      "480 : i3A8B9x3A8B9X3B7B9o8, Correct!\n",
      "479 : i2A8A8B8b4A8B8X9b4b4B8X3o1, Correct!\n",
      "483 : i8A4A4B4C5x4A4A4B4C4C6X10C4, Correct!\n",
      "484 : i4A8A8X1B8B8B10o2, Incorrect! Ground Truth: i4A4B4A4B4C4C4D8D8X4, i4A4B4A4B4C4C4A4C4A4C4X3o2\n",
      "485 : i3A6A6B8b4b4C8C8B8B9X1o2, Correct!\n",
      "481 : i16A8A8B12b4b4A8B12B12o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "307 : i9A8A9B8B8b4b4A8A9B8B8x2X1C4X4C5B8B9A10o11, Correct!\n",
      "486 : i8A8A8B8B8b4b4A8B8B8B8B8X3o2, Correct!\n",
      "489 : i5A4A4B4C5A4A4B4C4b4b4X1B4C4C6o3, Correct!\n",
      "490 : i4A4A4B4B5b4b4A4B4B5C4C4o11, Correct!\n",
      "488 : i8A8A8B4B4C4b4b4x1A8B4B4C4o10, Correct!\n",
      "487 : i8A4A4A4A5B8B8b4b4A4A4B8B8B8o7, Correct!\n",
      "493 : i4A8A8B9x3A8B8B9o8, Correct!\n",
      "494 : i4A16B4B5x3A16B4B5o3, Correct!\n",
      "492 : i8A8A8A8A8b4b4A8A8A8A8A8o9, Correct!\n",
      "496 : i8A8A9B4B4x4A8A9B4B4B4B4B4A9, Correct!\n",
      "355 : i16A8A9B8B8b4b4b4b4A8A9B8B8B8B8X5o3, Correct!\n",
      "498 : i4A4A4B4B5x4A4A4B4B5C4C6o5, Correct!\n",
      "497 : i8A8A8B8A8b4b4B8A8X3o4, Correct!\n",
      "499 : i4A4A4B7C5x3A4A4B7C5x3C5o4, Incorrect! Ground Truth: i4A4A4B8C4x3A4A4B8C4x4C4o3, i4A4A4B4C4C4x3A4A4B4C4C4x3X5o3\n",
      "500 : i9A8B8A8B8b4b4B8o5, Correct!\n",
      "502 : i8A4A4B4B4A4A4C4C4b4x4C4C4C4C4b4b4A4A5o8, Correct!\n",
      "503 : i8A8A8B9A8B8B9o4, Correct!\n",
      "504 : i8A8A8B9B9b4b4A8B9B9B9B9o10, Correct!\n",
      "505 : i13A4A4B4A4A4C4C4b4b4B4A4A4C4C4C4C4o9, Correct!\n",
      "506 : i13A9A10B4B5A10B4B4B4o3, Correct!\n",
      "482 : i9A8B4B4A8B4C4D4C4D4C4A8B4C4D4C4D4C4C5X1o1, Correct!\n",
      "501 : i20A8A8B4B4b4b4A8A8B4B4b4b4b4b4x4B4B4B4B4o11, Correct!\n",
      "507 : i8A8A8B8b4b4A8A8B8B8X11, Correct!\n",
      "509 : i1A8B4B4A8B4B5x7A8B4B4B4B5o2, Correct!\n",
      "510 : i8A4A4B4C8x3A4A4B4C8x7C8C9X2o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "006 : X2x4b4A8A8A9B8B9A9B8B9b4b4x1B8B8X5, Incorrect! Ground Truth: X2x4b4A8A8A8X2B8B8A8X2B8B8b4b4X2B8B8X3, X2x8A8A8A10B8B8A10B8B8x10B8B11\n",
      "460 : i4A4A4A4A4B4B4C4C4b4b4A4A4B4B4C4C4C4C4A5X1, Correct!\n",
      "513 : i10A4A4B4C4C4x3A4A4B4C4C4x7C4C4C4C4o4, Correct!\n",
      "515 : i8A8A8B8x8A8B8A8X6, Incorrect! Ground Truth: i8A8A8B8b4b4A8B8A8X5, i8A8A8B8b4b4A8B8A8X6\n",
      "516 : i8X8A8B8B9x3A8B8B9o8, Correct!\n",
      "514 : i4A8A8B8B8x3A8B8B8x7B8B8o5, Correct!\n",
      "517 : i8A8A8B8b4b4A8A8B8B8X3o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "336 : i8A16B8B8b4b4A16B8B8b4b4B8B8o5, Correct!\n",
      "520 : i8A4B13x3A4B13x3B15X1o8, Correct!\n",
      "521 : i5A8A8B4B4b4A8B4B5b4B4B5o4, Correct!\n",
      "522 : i13A8A8B8B8b5b5A8B8B8o7, Correct!\n",
      "523 : i4A4A4B4B4b4b4A4A4B4B4B4B6o1, Correct!\n",
      "519 : i8A8A8B4C4B4C4b4b4A8B4C4B4C5B4C4B4C4C4o5, Correct!\n",
      "429 : i12A8A8B8B8x2b5b5A8B8B8B8B8X5o7, Correct!\n",
      "330 : i4A4A4A4B9C8C10X1x4A4B9C8C10X3o3, Incorrect! Ground Truth: i4A8A8B8C8C8x4A8B8C8C8X2o2, i4A8A8B8C8C8x4A8B8C8C8X2o2\n",
      "526 : i4A4B4A4B4C4C4A4B4b4b4C4C4A4B4B4o3, Correct!\n",
      "527 : i4A10B4B4A10B4B4X4x4B4B4B4o4, Correct!\n",
      "528 : i8A8A8B5C8b4b4X1C8B5C8o5, Correct!\n",
      "525 : i4A8A8B8B8b4b4A8B8B8A8A8A8A8o1, Correct!\n",
      "530 : i14A10B4B6b5b5A10B4B5B4B6o5, Correct!\n",
      "368 : i8A8A8B4B6C8C8b4x1b4A8B4B6C8C8o8, Incorrect! Ground Truth: i8A8A8B8C8C8X2x1b4b4A8B8C8C8X3o6, i8A8A8B8C8C8X2x1b4b4A8B8C8C8X3o6\n",
      "This version running TOO long, quit at middle!\n",
      "342 : i8A16X2B8B10b5x1A16X2B8B10b5X1B8B8X2o10, Correct!\n",
      "532 : i4A9B12x1b4b4A9B12B12o3, Incorrect! Ground Truth: i4A4A4B4C4C5x1b4b4A4A4B4C4C4X4C4C5o2, i4A4A4B4C4C5x1b4b4A4A4B4C4C4X4C4C5o2\n",
      "535 : i4A4B4A4B4B4B4b4b4A4B4A4B4B4B4B4B4o20, Correct!\n",
      "536 : i9A4A4B4B5b4b4A4A4B4B4B4B5B4B4X4o11, Correct!\n",
      "531 : i12A4A4B5C8C8b6x1A4B5C8C8b6X2C8C8o8, Incorrect! Ground Truth: i12A4A4B4C8C9b7A4B4C8C9x7C8C9o7, i12A4A4B4C8C9b6x1A4B4C8C9b6X1C8C9o7\n",
      "537 : i6A8A8B4C4b4b4x1A8B4C4B4C4C4o9, Correct!\n",
      "538 : i4A4A4B4B4x4A4B4B4B4B4X1o3, Correct!\n",
      "540 : i8A8A8B8B8b4b4A8A8B8B10o6, Correct!\n",
      "533 : i8A8A8B8B9x7A8A8B8B8B8B10X1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "232 : i9A8A8B4C8C10X1b4b4b4b4X1A8A8B4C8C10X2C8X16, Correct!\n",
      "543 : i8A4A5B4B4b4A4A5B4B4A4A4b4B4B4A4o5, Correct!\n",
      "544 : i4A8A8B4C4x3A8B4C6X4B4C5X2C4X3o5, Correct!\n",
      "542 : i10A8A8B8B8A8A8b4b4B8A8A8X3o4, Correct!\n",
      "546 : i16A16x1b4b4b4b4A16o14, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "369 : i5X4A8A8B8A8A8A8B8X1A7B8B8X2C4C4X2, Incorrect! Ground Truth: i5A8A8B8B8A8A8B8B8X31, i5A8A8B8B8A8A8B8B8X31\n",
      "545 : i12A4B4B4A4B4B4A4B4B4A4B4B4b4b4A4B4B4B4b4B4b4B4b4B4b4B4o4, Correct!\n",
      "549 : i8A9B4B5x3A9B4B5x3B4B5o9, Correct!\n",
      "550 : i8A8A8B4C4B4C4b4b4A8A8B4C4B4C4C5o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "399 : i8A12B9C8C8b4b4X1B9C8C8A12o2, Incorrect! Ground Truth: i8A11B9x1C8C8x8B9x1C8C8A11X2, i8A11B9x1C8C8x8B9x1C8C8A11X2\n",
      "552 : i8A4A4B4B4C8C9b5b5b5B4B4C8C9o8, Correct!\n",
      "553 : i8A4A4B4C4C5x3X4A4A4B4C4C5x6x1C4C4C4C5o3, Correct!\n",
      "495 : i7A4A4A4A4B16A4A4B16b4b4A4A4B16B16o1, Correct!\n",
      "554 : i8A8A8B4B4b4b4A8A8B4B4C4C6X1o4, Correct!\n",
      "555 : i4A8A8B4B5x1b4b4A8B4B5B4B5o3, Correct!\n",
      "557 : i5A8A8B9b4A8B9b4B9o4, Correct!\n",
      "558 : i8A8B4B5b4b4A8B4B4B4B5o3, Correct!\n",
      "524 : i9X9A12B16x6A12B16B16o11, Incorrect! Ground Truth: i9X8A12B16x6A12B16B16X1o10, i9X8A12B16x6A12B16B16X1o10\n",
      "This version running TOO long, quit at middle!\n",
      "431 : i12A4A4B4B4C4D4D5X3b4b4A4A4B4B4C4D4D5C4C4C4o8, Correct!\n",
      "491 : i2X4b4A10B9b4b4A10B9b4b4X2B9X5, Incorrect! Ground Truth: i2A4b4B8C11b4b4B8C11b4b4C11A4, i2A4b4B8C11b4b4B8C11b4b4C11A4\n",
      "559 : i8A8A9B8B8b5x1b5A9B8B8x3X7B8o5, Correct!\n",
      "562 : i8A4A4A4A4B8B9b4b4A4A4B8B9X4o2, Correct!\n",
      "564 : i8A8A8B8B8b4b4A8A8B8B8B8B8o4, Correct!\n",
      "563 : i8A8A8B8B8b4b4A8A8B8B8X5o10, Correct!\n",
      "534 : i18A8A8B14b6b6b6x1A8A8B14B14o3, Correct!\n",
      "567 : i4A8A8B4C4x1b5b5A8B5C4C4o1, Correct!\n",
      "566 : i8A8A9B8B8b4b4A9B8B8B8B8X3o3, Correct!\n",
      "568 : i8A6B12x3A6B12X3B12o9, Incorrect! Ground Truth: i8A8B4B4X2x3A8B4B4X7C4C4X2o8, i8A8B4B4X2x3A8B4B4X7C4C4X2o8\n",
      "569 : i13A8A8X3B4b4b4x2A8X3B4b4B5X3o3, Incorrect! Ground Truth: i13A8A8B4C4b4b4x1A8B4C4x4C4X3o2, i13A8A8B4C4b4b4x1A8B4C4x4C4X3o2\n",
      "570 : i4A8A8B8b4A8B8b4b4B9X4o4, Correct!\n",
      "571 : i4A8A8B4B4x4A8B4B4B4B4o4, Correct!\n",
      "518 : i13A4A4B4B4X1C8x7A4A4B4B4X1C8X2C8C9X2o10, Incorrect! Ground Truth: i13A8B4B4C4C4X1x7A8B4B4C4C4D8D8X6o9, i13A8B4B4C4C4X1x7A8B4B4C4C4D8D8X6o9\n",
      "573 : i12A4B8A4B8C4A4b4b4A4B8C4A4C4A4A5o3, Correct!\n",
      "575 : i7A8A8B8A8b4b4B8A8X5o9, Correct!\n",
      "574 : i8A8A7B8B8b4b4x1A7B8B8X5o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "442 : i2X4A8B8B8C10A8B8B8C10C10A10, Incorrect! Ground Truth: i2A4A4B8B8C10A4A4B8B8C10C10A4A4X5, i2A4A4B8B8C9x1A4A4B8B8C9x1C9x1A4A4X5\n",
      "578 : A8A8B4C4x4A8A8B4C4B4C4C4o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "451 : i12A10A10B8B8X3C8x6A10B8B8X3C8o6, Incorrect! Ground Truth: i12A10A10B8B8C10x7A10B8B8C11o5, i12A10A10B8B9C10x6A10B8B9C10o5\n",
      "580 : i4X8A4A4x4A4A4X3o5, Correct!\n",
      "576 : i4X4A8B4B4C4C4x4A8B4B4C4C4o4, Correct!\n",
      "582 : i8A4A4B4C4C4x4A4A4B4C4C4C4C4o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "458 : i4A5x3A5x3B16X1C4A4C6x2X4B16X2x7C4A4C6X5o1, Incorrect! Ground Truth: i4A6x2A6x2B4B4C4C4X1D4E4D4X2x2B4B4C4C4x1A6x6D4E4D4X6, i4A6x2A6x2B4B4C4C4X1D4E4D4X2x2B4B4C4C4x1A6x6D4E4D4X6\n",
      "448 : i8A8A8B17b4b4A8A8B18B17o19, Correct!\n",
      "585 : i9A4A4B4B4x2A4A4B4B4b4b4x1A4A4B4B4o9, Correct!\n",
      "586 : i8A9A8B8x3A9A8B8b4x1b4B8o7, Correct!\n",
      "583 : i5A16B8B8A16B8B8A16X5o1, Correct!\n",
      "588 : i4A8A8B8b4b4A8A8B8B9o4, Correct!\n",
      "587 : i9A8A8B4B4B4B4x1b4b4A8A8B4B4B4B4o9, Correct!\n",
      "590 : i12A8x2A8b4X6B4b4A8x2A8b4B5X1o2, Correct!\n",
      "591 : i8X8A4A4B14B14C4C5X2, Correct!\n",
      "589 : i8A4A4A4A4B8A4A4A4A4B8b4b4x1A4A5, Correct!\n",
      "572 : i6A4A4B4C4C5A4A4B4C4C4x4X4C4C4C4C4X3, Correct!\n",
      "593 : i9A8A8B4B4B4B4b4b4A8A8B4B4B4B4B4B6, Correct!\n",
      "595 : i8A4B10C4C4b4b4A4B10C4C4C4C4A6o1, Correct!\n",
      "594 : i8A8A8B10A8B9b4b4C4C4B12B12, Correct!\n",
      "577 : i8A16B8B8X4A16B8B8X3o8, Correct!\n",
      "598 : i4A4A4B9x3A4A4B10B9o4, Correct!\n",
      "599 : i6A8A8B4B4x7A8B4B4B4B4o2, Correct!\n",
      "512 : i7A17B15b4b4A17B16o5, Incorrect! Ground Truth: i7A9B8C8D8x7A9B8C8D8o4, i7A17B16x7A17B16o4\n",
      "601 : i8A4A4B9b4b4A4A4B9b4B9o4, Correct!\n",
      "600 : i5A4A4B4C8C8A4A4B4C8C8X4o4, Correct!\n",
      "597 : i4A4A4B5C4C5x4A4A4B5C4C5C4C5X4, Correct!\n",
      "603 : i8A8A8B8B8b4b4A8B8B8B10o8, Correct!\n",
      "604 : i4A4A4B4C8x3A4B4C8C9o3, Correct!\n",
      "606 : i8A9A9B4B4b4b4A9B4B4B4B4o8, Correct!\n",
      "607 : i6A4A4B10x3A4B12X1B10o1, Correct!\n",
      "602 : i8A8A8B8B8b4b4A9B8B8X4o3, Correct!\n",
      "609 : i4A9B8A9X9B9X1, Incorrect! Ground Truth: i4A4A4B9A4A4B9B10X2, i4A4A4B9A4A4B9B10X2\n",
      "605 : i8X4A8B4B5A8B4B6X2B4B6X2, Correct!\n",
      "608 : i5A9A8B4B5x6A8B4B5B4B6o2, Correct!\n",
      "610 : i6A5B8B8C5x2A5B8B8B8X2C5, Incorrect! Ground Truth: i6A8B8B8x4A8B8B8B8X3, i6A8B8B8x4A8B8B8B8X3\n",
      "612 : i7A8A8B4B5x5A8B4B5B4B5o7, Correct!\n",
      "614 : i8A8A8B8b4b4A8B8A8B8X4o7, Correct!\n",
      "615 : i6A8B9b4A8B9b4b4B9o6, Correct!\n",
      "616 : i4X4A8B4B4x3A8B4B4B4o3, Incorrect! Ground Truth: i4A4A4B4C4C4x3A4B4C4C4C4o2, i4A4A4B4C4C4x3A4B4C4C4C4o2\n",
      "613 : i4A13B9X3A12B8B9b4b4B9, Correct!\n",
      "618 : i5A8B8x4A9A9B8B8x3B9o2, Correct!\n",
      "617 : i4A8A8B10b4b4b4A8A8B11X5o3, Correct!\n",
      "620 : i4A8A8B9x4A8B9B9X4o5, Correct!\n",
      "621 : i4A8B9x3A8B9x5B8, Correct!\n",
      "622 : i8A13B4B4B4B4x2A13B4B4B4B4B4B6o12, Correct!\n",
      "623 : i4A4A4X2B6C9X10B6C8x6X16D4D5o8, Incorrect! Ground Truth: i4A4A4B4B4C4C4x1A4A4B4B4C4C4x6C4C4x1D4D4E4E4o7, i4A4A4B4B4C4C4x1A4A4B4B4C4C4x6C4C4x1D4D4E4E4o7\n",
      "611 : i8A4A4A4A4B4B5b4b4A4A4B4B6C4C4B4B4B4B4B4B5o8, Correct!\n",
      "625 : i8A8A8B4B4B4B4b4b4A8A8B4B4B4B4A8o4, Correct!\n",
      "626 : i6A8B5B6b4b4b4A8B5B6X5o2, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "511 : i4A8A8B8b4b4A8B8x1b4b4b4x3B8A9o14, Incorrect! Ground Truth: i4A8A8B8b4b4A8B8b4b4b4x4B8A8o13, i4A8A8B8b4b4A8B8b4x3b4b4X1B8A9o13\n",
      "628 : i7A8A8B4B4A8b5b5A8A8B4B4A8B4B4A8X6o3, Correct!\n",
      "561 : i4A6A5B6C11b4A5B6C12b4b4C13X3o4, Incorrect! Ground Truth: i4A6A6B5C11b4A6B5C11X1b4b4C11X5o3, i4A6A6B5C11b4A6B5C11X1b4b4C11X5o3\n",
      "630 : i2A4A4B14A4A4B12B13X4, Correct!\n",
      "627 : i8A4B4A4B4C4B4D8b4b4A4B4C4B4D8D8o5, Correct!\n",
      "632 : i11A4A4B4B5x5A4A4B4B5B4B5o5, Correct!\n",
      "633 : i4A8A8x4A8X1B8B8X3A8o3, Incorrect! Ground Truth: i4A8A8x4A8A8X12A8o2, i4A8A8x4A8B8B8X4A8o2\n",
      "634 : i27A8B8B8b4b4A8B8B8B8X7o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "310 : A8A8B8B8b4A8A8B8B8b4x3b4b4X1C4D4C4D4D4X2, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "529 : i9A8A8B4B5C10x3A8A8B4B5C8C10X5o3, Correct!\n",
      "636 : i8A6B8B10A6B8B8C4X4B8B8C4o5, Incorrect! Ground Truth: i8A8B8B8A8B8B8X8B8B8X1o4, i8A8B8B8A8B8B8X8B8B10o4\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "213 : i7A8A8B10C6X2D8D8A8A8B10C4E6D8D8D8X4E6X9, Incorrect! Ground Truth: i7A16B16C8C8X2A16B16X2C8C8D8D8X7, i7A8A8B16C8C9X1A8A8B17X1C8C8C8C9X6\n",
      "631 : i8A8A9B8B9x7A9B8B9B8B8X3o5, Incorrect! Ground Truth: i8A8A8B8B8X2x7A8B8B8X1C8C8X4o4, i8A8A8B8B10x7A8B8B8X1B8B10X2o4\n",
      "635 : i8A4A5X3A4A5B8B10x3A4A5B8B10x7B8B10o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "508 : i10A8B6B6C14A8B6B6C14D4X3D4, Incorrect! Ground Truth: i10A7B5x1B5C4D12A7B5x1B5C4D12X12, i10A7B5x1B5C4D12A7B5x1B5C4D12X12\n",
      "642 : i8A16x6A16x2X1B4B5X3o3, Correct!\n",
      "643 : i4A5X1B11A5X1B11X3B11X4o3, Incorrect! Ground Truth: i4A8B9A8B9X18o2, i4A8B9A8B9X18o2\n",
      "638 : i9A8A8B4C4C5x5A8B4C4C5C4C5C6o6, Correct!\n",
      "645 : i8A12B4B4b4b4A12B4B4B4B4o5, Correct!\n",
      "646 : i4A16b4b4A16X10o4, Correct!\n",
      "644 : i4A4A4B4C4C4x2A4A4B4C4C4x4X1D4D4C4C4X3, Incorrect! Ground Truth: i4A4A4B4C4C4x2A4A4B4C4C4x4D4D4X1E4E4X2, i4A4A4B4C4C4x2A4A4B4C4C4x4D4D5C4C4X2\n",
      "648 : i4A4A4B4B4b4A4B4B4b4B4B4o5, Correct!\n",
      "647 : i5A4A4B4C9A4A4B4C8b5b5X1C9X6o18, Incorrect! Ground Truth: i5A4A4X3B4B5x1A4A4X3B4B5b5b5B4B4B4B4o17, i5A4A4X3B4B5x1A4A4X3B4B5b5b5B4B4B4B4o17\n",
      "This version running TOO long, quit at middle!\n",
      "541 : i9A16A16B8B8C8A16B8B8C8B8B9X1C8o2, Correct!\n",
      "650 : i5A8A8B4B4x3A8A8B4B4C4C4B4B4o1, Correct!\n",
      "651 : i3A16B9x3A16B9, Correct!\n",
      "649 : i7A4A4B6C4C4x7A4A4B6C4C4C4C4o3, Correct!\n",
      "653 : i8A8B8A8B8C8C8A8B8A8B8C8C8A8B8B8o16, Correct!\n",
      "655 : i5A4A4B4B4C4A4A4B4B4C4o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "547 : i16A8A8B4C4B4D4b4b4b4b4A8A8B4C4B4D4B4C4B4D4D4X3o1, Correct!\n",
      "657 : i8X8A8B4B5x7A8B4B5x3B4B6o4, Correct!\n",
      "629 : A16B4B4b4b4x1A16B4B4B4B4X5o1, Correct!\n",
      "659 : i8A8A8B8B8b4b4A8B8B8X3o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "539 : i8A8A8B4B4C8C8b4b4A8A8B4B4C8C8b4b4C8C8X4o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "551 : i8A8X8B4C4B4D4b4b4X4D4A8A8B4C4B4D4X1D4X5o1, Incorrect! Ground Truth: i8A8A8B8B8x8X8A8A8B8B8X10, i8A8A8B8B8x8X8A8A8B8B8X10\n",
      "661 : i12A8A8B4B4B4B4b4b4A8B4B4X4B4B4o1, Correct!\n",
      "658 : i2A12A12B4C4x2A12b4b4A12B4C4C4o6, Correct!\n",
      "656 : i10A8B4B4b4A8B4B5x1b4A8B4B4b4A8B4B5B4B5o7, Correct!\n",
      "665 : i4A4A4B4B5x4A4B4B5B4B5, Correct!\n",
      "666 : i8A8A8A8A8x8A8A8A8A8A8o9, Correct!\n",
      "662 : i12A16A16B16B16x12A16B16B16B16B16, Correct!\n",
      "660 : i8A8A8B8B8b4b4b4b4A8B8B8B8B8X5, Correct!\n",
      "669 : i4A8A8x2A8A8b4b4A8A9o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "560 : i13A4A4B4B4C4C5A4A4B4B4C4C5b5b5B4B4B4B4C4C4C4C4C4C4, Correct!\n",
      "671 : i9A4B4A4B4b5b5x1A4B4A4B4x3A4B4B4o10, Correct!\n",
      "672 : i4A4A4B8x6A4A4B8o4, Correct!\n",
      "673 : i4A8A9B4B4b4b4A8B4B4B4B5o3, Correct!\n",
      "619 : i4A12B8A12x2B8A12x5C4C6o1, Correct!\n",
      "674 : i4A8A8B8B9x3A8B8B8X2B9o4, Correct!\n",
      "676 : i8A4B4A4B4B4B4b4b4A4B4B4B4B4B6o4, Correct!\n",
      "677 : i4A4A4B7C4b4b4A4A4B7B7C5o3, Correct!\n",
      "678 : i8A4A4B5C4C4b4b4A4B5C4C4C4C4X5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "565 : i9A4A4B4B4C16A4B4B4C17X2D4D5X7x6X6C16o3, Incorrect! Ground Truth: i9A4A4B4B4C6C6A4A4B4B4C6C6x2X15C6x6D6D6D6X4o2, i9A4A4B4B4C6C6A4A4B4B4C6C6x2X15C6x6D6D6D6X4o2\n",
      "675 : i14A4A4B5C5C6b4b4A4A4B5C5C6C5C5X5o1, Incorrect! Ground Truth: i14A4A4B4C5C5X2b4b4A4A4B4C5C5X1C5C5X6, i14A4A4B4C5C5X2b4b4A4A4B4C5C5X1C5C5X6\n",
      "679 : i13A8A9B4C4B4C4b5b5A9B4C4B4C4B4C4B4C4C6X1o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "581 : i1X7A4B4B4C4C5X4A4B4B4C4C6X2A5C4C4C4C4, Incorrect! Ground Truth: X4A8B8C8x1A8B8C8X9C8C8, X4A8B8C8x1A8B8C8X9C8C8\n",
      "682 : i4A8A8B4C4C5x4A8B4C4C5C4C6o2, Correct!\n",
      "684 : i4A8A8B4B4A8x7X6B4B4A8X5o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "584 : i8A8A8B16B16b4x1b4X8A8X6o3, Incorrect! Ground Truth: i8A8A8B8A8B8A8b4b4x1A8B8X5b4, i8A8A8B8A8B8A8b4b4x1A8B8X5b4\n",
      "683 : i8A4A4B4C4C4b4A4B4C4C4b4C4C4C4C4o6, Correct!\n",
      "681 : i10A8A8X1B8B8b4x1b4A8X1B8B8B8X4o5, Correct!\n",
      "686 : i8A8A8B8B8b4b4A8A8B8B8B8B8X3o1, Correct!\n",
      "688 : i4A12B8x4A12B8B9o15, Correct!\n",
      "689 : i4A10B11A10B10x7X2B10o5, Incorrect! Ground Truth: i4A8B4C8x1A8B4C8x7X4C8o4, i4A8B4C8x1A8B4C8x7X4C8o4\n",
      "This version running TOO long, quit at middle!\n",
      "579 : i12A4B16B16X12b4b4A4B16B16X18B16o18, Incorrect! Ground Truth: i12A16A16B16x8A16B16X18C8C8X4o17, i12A16A16B16x8A16B16X18C8C8X4o17\n",
      "685 : i12A8A8B8B8b4A8B8B8b4x4B8B8o16, Correct!\n",
      "693 : i8A8A8B4B4b4x1b4A8B4B4B4B6o9, Correct!\n",
      "687 : i7A17A16A16b6b6b6A17A16X4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "596 : i4A16A16B8B9x7A16X1B8B8B9X6o6, Incorrect! Ground Truth: i4A15x1A15B8B8X2x7A15x1B8B8B8X8o5, i4A15x1A15B8B8X2x7A15x1B8B8B8X8o5\n",
      "696 : i7A8A8B8B9x3A8B8B10B9o4, Correct!\n",
      "697 : i8X8A8B8b4b4A8B8B8o5, Correct!\n",
      "698 : i8A13B9x7A13B10B9o6, Correct!\n",
      "695 : i8A4A4B4C4C4b4X1A4A4B4C4C4b4x2B4C4C4C4C6o7, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "250 : i17A16B16A16B16C16X7x3X19A16B16C16C16o1, Correct!\n",
      "701 : i5A4A4B8A4A4x6B9X2o5, Correct!\n",
      "699 : i9A8A8B8B10b4b4A8B8B8X2B8B8X3o3, Correct!\n",
      "703 : i4X9A8B8B8x7X1A8B8B8o4, Incorrect! Ground Truth: i4A8A8B8B9x7A8B8B9o3, i4A8A8B8B9x7A8B8B9o3\n",
      "664 : i8A8A8X1B8B10x6A8X1B8B8X11B8B10o9, Correct!\n",
      "690 : i6A8A8B8B8b4b4A8A8B8B8b4b4b4b4B8B8B8B8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "386 : i3A8A8x2B8B10x2A8A8x2B8B10b6b6b6X8b6B8B10X6o3, Correct!\n",
      "707 : i10A8B8A8x6A8B8A8B8A8o3, Correct!\n",
      "708 : i14A8A9B10x7A8A9B10B10o3, Correct!\n",
      "709 : i8A8A9B4B4x4A8A9B4B4B4B4o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "592 : i8A8A8B8B8b4X1A8B8B7X3b4b4x4B8B8b4x2A8X2, Incorrect! Ground Truth: i7A8A8B16X1b4A8B16X6b4b4B16X1b4x1A8X2, i8A8A8B8B8b4X1A8B8B7X4b4b4x3B8B8b4x2A8X2\n",
      "711 : i8A8A8B8b4b4A8B8B8C4C4o3, Correct!\n",
      "712 : i4A8B4B5x3A8B4B5X3B4C4C5X4o1, Correct!\n",
      "706 : i8A4A4B4B4C8C8b4b4A4A4B4B4C8C8o5, Correct!\n",
      "713 : i8A9B8x3A9B10X4B8B8o7, Incorrect! Ground Truth: i8A7B10x3A7B10X4B10X8o6, i8A8B9x3A8B9X4B8B9o6\n",
      "715 : i8A8A8B14x7A8A8B13B15o1, Correct!\n",
      "716 : i9A8A8B4B5A8B4B4B4B4X5o5, Correct!\n",
      "717 : i9A8A9B4C4B4C4x6A9B4C4B4C4C4o8, Correct!\n",
      "705 : i4A16B9b4b4A16B11X3o1, Correct!\n",
      "719 : i4A6X2B8B10x3A5B8B8B10o4, Incorrect! Ground Truth: i4A3A3B4C8C8x3A3B4C8C8C8o3, i4A3A3B4C8C8x3A3B4C8C8C8o3\n",
      "720 : i4A10B4B4x4A10B4B4o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "624 : i12A4B9A4B9X1A4C16D9C16D10X2, Incorrect! Ground Truth: i12A13A13X9B16X9B16X7, i12A13A13X9B16X9B16X7\n",
      "721 : i4A8A8B8x3A8B8B8x8B10o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "556 : i16A8A8B8C10b6b6b6A8A8B8C11B8C11X3o1, Incorrect! Ground Truth: i16A16B8B8X2b6b6b6A16B8B8X3B8B8X6, i16A8A8B4C4C4C5X3b4b4b4b4A8A8B4C4C4C5X2B4C4C4C4X6\n",
      "724 : i7A8A8B4B4A8b4b4B4B4A8o4, Correct!\n",
      "710 : i8A8A9B8B8b5x1A8A9B8B8b5X1B7o7, Correct!\n",
      "726 : i4A8B4B4x3A8B4B4B4B4o4, Correct!\n",
      "727 : i4A8A8B12x3A8B13b4b4B13o6, Correct!\n",
      "728 : i1A17B4B6A17B4B7, Correct!\n",
      "725 : i4A8A8B8B8b4b4A8A8B8B8B8B8o1, Correct!\n",
      "730 : i4A8A8x2A8A8x4A8A8o3, Correct!\n",
      "731 : i4A9B4B5x3A9B4C8B4C8o4, Incorrect! Ground Truth: i4A8x1B9x3A8x1B9X4B9X3o3, i4A9B4B5x3A9B4B4X4B4B5X3o3\n",
      "732 : A4A4B4B4b4A4A4B4B4B4B4x1b4b4B4B4X1C4C6o2, Correct!\n",
      "733 : i10A8A8B4B4b4b4A8B4B4B4B6X1o3, Correct!\n",
      "729 : i4A4A4A4A4B8B8x4A4A4A4A4B8B8X6, Correct!\n",
      "734 : i10A4A4B4C4C4b4b4A4B4C4C4C4C4A4, Correct!\n",
      "736 : i8A8A8B4B4B4B4b4b4A8B4B4B4B4X4o1, Correct!\n",
      "668 : i14A4A4A4A4B8C4C4C4C5b4b4A4A4B8C4C4C4C5o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "640 : i4A4X6A4B10C4D8A4B10b5b5A4B10C4D8A4B10o5, Incorrect! Ground Truth: i4A10A10B4C4C4D4A10B4x2b4b4A10B4C4C4D4A10B4o4, i4A9x1A9x1B4C4D8A9x1B4b5b5A9x1B4C4D8A9x1B4o4\n",
      "637 : i8A6B4C8D4A6C8b4b4A6B4C8D4A6C9o1, Incorrect! Ground Truth: i8A8B10C8D10x8A8B10C8D11, i8A8B10C8D10x8A8B10C8D11\n",
      "739 : i4A4A4B10A4A4B10X3B12X2o3, Incorrect! Ground Truth: i4A9B9A9B9X4B9X4o2, i4A9B9A9B9X4B9X4o2\n",
      "735 : i6A4A4B5C4C5A4A4B5C4C5b4b4B5C4C4C4C6o3, Correct!\n",
      "741 : i6A8A8B7b4b4A8B7B7, Correct!\n",
      "740 : i10A9B10x3A8B10C4C4X11A9o1, Correct!\n",
      "743 : i4A8A8B4B5A8B4B4x4X8B4B4X2o2, Correct!\n",
      "692 : i4A16B8B9x7A16B8B9o8, Correct!\n",
      "745 : i17A8A9B8A8b4b4b4b4A8A9B8A8B8A8B8A8, Correct!\n",
      "738 : i3X8A8B16x2A8B16x4B17X2, Incorrect! Ground Truth: i3A8A8B8B8x2A8B8B8x4B8B8, i3A8A8B8B8x2A8B8B8x4B8B8\n",
      "748 : i9A8A8B4B4b4b4A8B4B4B4B4X7, Correct!\n",
      "747 : i13A12B8x4A12B8B9o4, Correct!\n",
      "746 : i8A4A4B5C8C8x3A4B5C8C8x4X2C8C8o4, Correct!\n",
      "750 : i8A8A8B4B4A8A7x7B4B4C8C8A8A8o7, Correct!\n",
      "751 : i8A8A8B8B8b4b4A8B8B10X1o5, Correct!\n",
      "753 : i4A4A4B4C9x3B4C10X4C9X3, Correct!\n",
      "752 : i12A8A8B8B10b4b4A8B8B10B8B9o4, Correct!\n",
      "755 : i4A8A8b4b4A8A8X5o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "639 : i1A8x3X1B8B8C8A8A8b4b4X2B8C8A8A8A8A8o3, Incorrect! Ground Truth: i1A8x2B8B8C8X2A8A8x8B8C8X2A8A8A8A8o2, i1A8x3B8B8C9A8A8x1b4b4B8C9A8A8A8A8o2\n",
      "757 : i10A8A9B9x7A8A9B9B10o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "654 : i13A4A5A4A5B8C8C8b4b4x1B8C8C8C8C8o12, Correct!\n",
      "759 : i9A8A8x5A8A8B8B8o15, Correct!\n",
      "760 : i8A18b4b4A18, Correct!\n",
      "761 : i8A8A8B4B4x8A8B4B4B4B4o4, Correct!\n",
      "758 : i4A4A4B4C4C4b4A4A4B4C4C4C4C4b4b4x1C4C4X4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "663 : i10A4A4B4B4C8C9A4A4b4b4B4B4C8C9A4A4X4o3, Correct!\n",
      "764 : i2A4A4X6o4, Correct!\n",
      "765 : i12A8B8b4b4A8B8B8o9, Correct!\n",
      "766 : i9A4A4B4B4b4b4A4A4B4B4C4C6X1o1, Correct!\n",
      "767 : i4A9B8B8A9b5x1b5B8A9A9o4, Correct!\n",
      "768 : i8A4A4A4A4B15x3A4A4B15x1b4b4B15o4, Correct!\n",
      "704 : i16A8A8B7C8C8x6A8A8B7C8C8C8C8o5, Correct!\n",
      "769 : i8A8A8B8B10A8A8B8B8B8B9o4, Correct!\n",
      "771 : i4A4A4B4B4C8C10b4b4C9C9X3o1, Correct!\n",
      "772 : i8A8A8B8B8x2A8B8B8X9o6, Incorrect! Ground Truth: i8A7x1A7B8B8X1x2A7B8B8B8X1o5, i8A7x1A7B8B8X1x2A7B8B8B8X1o5\n",
      "773 : i4A9x3B9A10x2B9A9A9X5o1, Correct!\n",
      "774 : i8A8A8B8b4b4x1A8B8B8X6o2, Correct!\n",
      "775 : i4A8A8B8A8B8x4B8X5, Correct!\n",
      "762 : A8A8B8b4b4x1b4b4A8A8B8b4b4A8A8A8, Correct!\n",
      "776 : i8A8B8B8x4A8B8X8B8o3, Correct!\n",
      "777 : i6A8B7x6A8B7B8o1, Correct!\n",
      "778 : A8A8B4B4x4A8B4B4B4B4A9, Correct!\n",
      "763 : i8A8B4B4x1b4b4b4A8B4B6X2B4B4X5o2, Correct!\n",
      "780 : i5A12B8x2A12B8X7B6X6o3, Incorrect! Ground Truth: i5A8B4C8x2A8B4C8X7C8X4o2, i5A12B8x2A12B8X7B8X4o2\n",
      "723 : i10A12B16b4x1b4A12B16o4, Incorrect! Ground Truth: i10A8B8C12b4x1b4A8B8C12o3, i10A16B12b4x1b4A16B12o3\n",
      "782 : i4A8A8B8x4A8B8B8B10o3, Correct!\n",
      "784 : i6A8A9B8B8b4b4A9B8B8o4, Correct!\n",
      "781 : i4A8A8B4C4B4C4x4A8B4C4B4C4X5C4X4, Correct!\n",
      "786 : i10A11A10x3A11A10o2, Correct!\n",
      "718 : i10A10A10B8B10x3A10B8B10C4C4X1B8B10o14, Correct!\n",
      "788 : i8A4X4A4B6B6B6b4b4A4B6B6B6o5, Correct!\n",
      "789 : i4A9B9X5A9B8B8o2, Correct!\n",
      "785 : i8A8A8B4C4B4C4b4b4A8A8B4C4B4C4B4C4B4C4C4o8, Correct!\n",
      "791 : i4X7A4A5X4b4b4A4A4b4X4A4A4X10o3, Correct!\n",
      "790 : i4A8A8B8B8C4x6A8B8B8C4C5o11, Correct!\n",
      "793 : i8A8A8B9A8b4b4A8A8B9A8o3, Correct!\n",
      "783 : i8A8A8B8B8x5A8A8B8B8X18o1, Correct!\n",
      "795 : i4A8A8B10A8A8B10X15o1, Incorrect! Ground Truth: i4A8B8C9A8B8C8X2x3A9X2o1, i4A8B8C9A8B8C8X2x3A9X2o1\n",
      "796 : i4X6A10B6X1A9b5b5B6X1A10X5o3, Incorrect! Ground Truth: i4A8A8B9A8b4b4x1B9A8X5o2, i4A8A8B9A8b4b4x1B9A8X5o2\n",
      "797 : i4A13B8x4A13B8X6, Correct!\n",
      "798 : i8A8A8b4b4b4A8A8o10, Correct!\n",
      "799 : i9A9B9A8b4x1b4A9B9A9B9A9o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "667 : i9A8A8X2B8B8A8A8X2B8B8b4b4b4b4X2B8B8X16o4, Incorrect! Ground Truth: i9A8A8X1B8B8X1A8A8X1B8B8X1b4b4b4b4X1B8B8X17o3, i9A8A8X1B8B8X1A8A8X1B8B8X1b4b4b4b4X1B8B8X17o3\n",
      "801 : i2A4B4b4A4B4C4b4A4B4C4A4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "548 : i8A8X2A10B4B5C4D4C4D6b4b4b4b4A10B4B5C4D4C4D4X10o4, Incorrect! Ground Truth: i8A9x1A9x1B9C8C9x1b4b4b4b4A9x1B9C8C9x3X5o3, i8A9x1A9x1B9C8C9x1b4b4b4b4A9x1B9C8C9x3X5o3\n",
      "803 : i6A9A8B4B4x4X4A8A8B4B4B4B4o5, Correct!\n",
      "804 : i8A9B8x7A9B8B8o8, Correct!\n",
      "802 : i2X4A8B9x4A8B9B9o5, Correct!\n",
      "806 : i4A8x4A8B4B4o5, Correct!\n",
      "805 : i9A8A8B8A8b4b4A8B8A8B8A8o5, Correct!\n",
      "808 : i11A8A8B12b4b4A8B12B12o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "652 : i8A9A9B18b4b4b4x2A9B18X9B17o1, Incorrect! Ground Truth: i8A9A9B8B8X2b4b4b4x2A9B8X11B8B8X9, i8A9A9B18b7b7A9B18X9B17\n",
      "809 : i16A16A16B8A16b4b4b4b4B8A16X4o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "215 : i20A4B4A4C8D16E8X8C8x4A4B4A4C8D16E8E8E8E8C8o6, Incorrect! Ground Truth: i20A8A8B8B12C8D8E8x4A8A8B8B12C8D8C8D8E8o8, i20A8A8B8B9x3C8D8E8x4A8A8B8B9x3C8D8C8D8E8o8\n",
      "811 : i7X4A7A6A6x7A7A6A6o5, Correct!\n",
      "812 : i8A4A4B5C5C5x3A4B5C5C5C5C5o2, Correct!\n",
      "813 : i4A8A8B8A8B8x4B8B9o2, Correct!\n",
      "815 : i6A8A8B8B8b4b4A8B8B8B8B8o5, Correct!\n",
      "816 : i3A4A5X3A4B9x3B10X3A4X5o1, Incorrect! Ground Truth: i3A8B8C8x4C8X1B8X5o1, i3A8B8C8x4C8X1B8X6\n",
      "This version running TOO long, quit at middle!\n",
      "694 : i3A4A4X1B4B6C12C12x5X1B4B6C13X7C12C12X3o3, Incorrect! Ground Truth: i3A4A4B11C12C12x5B11C12x1X7D12D12X3o2, i3A4A4B11C12C12x5B11C12x1X7D12D12X3o2\n",
      "818 : i4A10B7A10B8B7o4, Incorrect! Ground Truth: i4A8B9A8B9x1B7o4, i4A8B4B5A8B4B5X3B5o3\n",
      "817 : i9A8A9B8B8x3A9B8B8B8B8X5, Correct!\n",
      "820 : i4A8x4A8B4B4B4B4X4o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "700 : i7A16X1B8B9x6A16X1B8B9x4B8B8X9, Incorrect! Ground Truth: i8A16B8B8X1x7A16B8B8X1x4C8C8X8, i7A16B8B10x6A16B8B9X4B8B9X8\n",
      "821 : i7A4A4B4B4X1C4C4x2B4B4C4C4x4C4C4X5, Correct!\n",
      "822 : i4A4X4A4B12x3A4B12X1B12X3o3, Incorrect! Ground Truth: i4A8A8B8x3A8B8X5B8X3o3, i4A8A8B8x3A8B8X5B8X3o3\n",
      "824 : i8A8A8B8B9A8B8B8x2X1B8B9o3, Correct!\n",
      "825 : i10A8A8B8B9b4b4A8B8B9X1B8B8o5, Correct!\n",
      "826 : i8A4A4B4B5C4C4B4B4b4b4B4B4X3o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "702 : i8A16B8B9X3A16B8B8C4C4B8B8o5, Correct!\n",
      "828 : i7X4A10B7x7A10B7B10, Correct!\n",
      "829 : i9A8B8A8B8A8B8A8B8B8B8B8X3o7, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "714 : i8A8A8B18b5x1A8A9B18b5B18o11, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "670 : i16A16B8B10x1b6b6b6A16B8B10B8B10X6o4, Correct!\n",
      "831 : i8A8A8B8B8b4b4A8B8B9B8B8X4, Correct!\n",
      "833 : i4A8A8B9x3X4B9X6o1, Correct!\n",
      "834 : i3A8B9x2A8B9x3B9o3, Correct!\n",
      "835 : i5A8B4B4x4A8B4B4B4B4o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "691 : i8A4B4A4B4C10A4b4x4A4B4A4B4C10A4B4A4B4b4b4C10A4o4, Correct!\n",
      "836 : i4A8A8B4B4b4b4A8A8B4B4x2B4B4o4, Correct!\n",
      "838 : i8A8A8b4b4A8A8b4b4A8A8A10o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "680 : i4A4A4B8C4C4X1b5b5A4B8C4C4D4D6C6o4, Correct!\n",
      "840 : i4A4B12A4B12x3B12X5, Incorrect! Ground Truth: i4A8B4C4A8B4C4x3B4B4C4X4, i4A8B4C4A8B4C4x3B4B4C4X5\n",
      "839 : i8A8A9B8B8b4b4A9B8B8B8B10o1, Correct!\n",
      "842 : i8A4B4A4B4b4A4B4A4B4b4b4b4A4B4A4B4b4A4B4A4B4B4B4o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "722 : i11A8B4B5C4D4C4D6b4b4A8B4B5C4D4C4D6D6o4, Incorrect! Ground Truth: i11A16x1B8B8X2b4b4A16x1B8B8X8o3, i11A17B4C4B4C6b4b4A17B4C4B4C6C6o3\n",
      "844 : i4A8B9x3A8B9X7B9o11, Correct!\n",
      "843 : i5A14X3B4C6X5A12X1C4B4x6X2C4B5o2, Incorrect! Ground Truth: i4A4A4X4B4B4x1C4C4X3D9x3D9o1, i4A4A4B4C4C4A4A4B4C4C4x4C4C4o1\n",
      "737 : i8A9x3A10B8B9b4b4b4A10B8B8X2B8B8X8o9, Incorrect! Ground Truth: i8A9x3A9x1B8B8X1x12A9x1B8B8X2B8B8X8o8, i8A9x3A10B8B9x12A10B8B8X2B8B8X8o9\n",
      "837 : i8A8A9B4B4b4A8A9B4B4b4b4x1B4B4B4A9o4, Correct!\n",
      "847 : i8A4A4B9b4x3A4A4B9b4b4B9B9o6, Correct!\n",
      "848 : i8A8A8B8b4b4x1A8B8B10X1o4, Correct!\n",
      "841 : i10A8A9B8B8X8A8B8B9B8B8X2o4, Correct!\n",
      "846 : i10A8A9B4B4b5b5A8A9B4B4B4B4o6, Correct!\n",
      "851 : i8A8A8B4B4b4b4A8B4B4B5o4, Correct!\n",
      "853 : i4A8B10x4A8B11o1, Incorrect! Ground Truth: i4A9B9x4A9B9X1, i4A9B10x3A9B10\n",
      "850 : i9A4A4B7C5A4A4B7C5b4b4B7C4C4o8, Correct!\n",
      "852 : i4A8A8B4B4b4b4A8B4B4X8B4B4X2o5, Correct!\n",
      "854 : i12A4A4A4A4B8A4A4B8X4x4X4B8o9, Correct!\n",
      "856 : i8A4A4B4B4x7A4A4B4B4B4B4o5, Correct!\n",
      "849 : i16A8A8B8b4b4A8A8B8B8X4o10, Correct!\n",
      "754 : i7A8A8B8B8C4C4b4b4A8A8B8B8B8B8C4C4o8, Correct!\n",
      "860 : i2A6A6A6A8X4o2, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "641 : A5A4B4C16D16A4A4B4C16D16D16D19, Incorrect! Ground Truth: A4A4X4B4B4C4C4D4D4E4C4A4A4X4B4B4C4C4D4D4E4C4D4D4E4C4D4D4E4X6, A4A4X4B4B4C4C4D4D4E4C4A4A4X4B4B4C4C4D4D4E4C4D4D4E4C4D4D4E4X6\n",
      "862 : i8A4A4B4C4C4b4A4A4B4C4C4C4C4b4b4C4C4C4C4o9, Correct!\n",
      "863 : i1X3x4A16x4A17X6, Correct!\n",
      "864 : i8A4A4B4C4C5x3A4A4B4C4C5X8C4C5X4o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "744 : i4A16A16B8B8x2C8C9B8B8o44, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "742 : i4A8A8B8C8C9x7A8B8C8C8X5, Correct!\n",
      "866 : i9A4B4A4B4C8A4B4x5A4B4A4B4C8A4B4B6o4, Correct!\n",
      "867 : i4A4A4B4B4A4A4B4B4x4A4A4B4B4A4A4o5, Correct!\n",
      "858 : i4A4A4B4B4C9x3A4A4B4B4C9x7C9o9, Correct!\n",
      "819 : i8A8A9B4C4B4C5b4b4b4b4A8A9B4C4B4C5C5X1o6, Correct!\n",
      "871 : i11A8A8B8x6A8A8B8B8o4, Correct!\n",
      "810 : i4A4A4A4A4B8C8C8b4b4A4A4B8C8C10o7, Correct!\n",
      "873 : i9A8A8B4A8B4b4b4A8B4B4o4, Correct!\n",
      "800 : i8A8A9B8B9x1b5b5A8A9B8B9B8B8X7o1, Correct!\n",
      "865 : i8A8A8B8B9x1b6A8A8B8B9b6X1B9, Correct!\n",
      "868 : i8A16B9x7A16B9x2X2B9X3o1, Incorrect! Ground Truth: i9A9B5C10x8A9B5C10x3C10X3o2, i9A14B10x8A14B10x3B10X3o2\n",
      "877 : i5A10B4B5x5A10B4B5B4B5o2, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "065 : i8X8A9B12X3b4b4A9B12X1b4b4x1b4b4x1A8B12B11, Incorrect! Ground Truth: i8X8A7B4B4C8x1b4b4A7B4B4C7b4b4b4b4x2A7X1B4B4B4B4X6, i8A4A4B7C4C4D8x1b4b4B7C4C4D7b4b4b4b4x2B8C4C4C4C4X5\n",
      "879 : i4A9B9b4b4A9B9B9X3o4, Correct!\n",
      "880 : i7A8A8B8b4b4A8B8B8X5o4, Correct!\n",
      "875 : i8A4A4B14x3A4A4B14x7B14o2, Correct!\n",
      "881 : i8A10A9B12x4A9B12X10o1, Correct!\n",
      "883 : i4A6A4B12x3A4B12X3B12o3, Incorrect! Ground Truth: i4A6A6B10x3A6B10X5B10o3, i4A6A6B9x4A6B9X6B10o3\n",
      "884 : A12B8X3C5b4b4x1A12B8X6B8x3X3C5X3o2, Incorrect! Ground Truth: A8B8B8X4x9A8B8B8x2B8x3X11o2, A8B8B8X4b4b4x1A8B8B8x2B8x3X11o2\n",
      "885 : i6A4B4A4B4B4b4b4A4B4A4B4X6o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "770 : i9A16B16A16B16B16X7o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "749 : i16A16A16B16B16b4b4A16A16B16B16X16, Correct!\n",
      "888 : i4A4A5B4B4x5A4A5B4B5B4B5X4o1, Correct!\n",
      "886 : i9A4A4A4A4B8B8b4A4A4B8B8b4b4B8B8B8B9, Correct!\n",
      "889 : i4A4A4B8C8C8b4b4B8C8C8X5o1, Correct!\n",
      "792 : A4B4C4C4C4C4D4E4B4b4b4C4C4D4E4B4A4E4B4A4A4, Correct!\n",
      "891 : i8A4A4B4C4C4D4B4C4C5x7C4C4D4D4D4, Correct!\n",
      "893 : i4A8A8B12A10b4b4b4A8B13x2A10o6, Correct!\n",
      "894 : A4X4A4B4C10x3A4B4C10x7C10o8, Correct!\n",
      "887 : i9A13B16B16x1b4b4A13B16B16o11, Incorrect! Ground Truth: i9A16B8B8C14b5x3A16B8B8C14o10, i9A8x1B8B8B8C12x9A8x1B8B8B8C12o11\n",
      "896 : i4A4A4X4B4C4D4C4D4x4B4C4D4C4D4x3D4X4o4, Correct!\n",
      "897 : i8A8A8B8B8b4b4A8B8B8x2B8B8X3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "208 : i16A16B16C16D14A16B16C16D13, Incorrect! Ground Truth: i16A16B16C8D10E8X4A16B16C8D10E8X1, i16A6B6C4D6E10F8G10H8x4A6B6C4D6E10F8G10H8X3\n",
      "898 : i4A4B4A4B4C8C8b4b4C8C8X4B5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "794 : i9A16A16B8B10b4x1b4A16B8B10X12B8B10o7, Correct!\n",
      "900 : i5A4A4B4C9x3A4A4B4C12C9X6o2, Correct!\n",
      "901 : i3A4A4B8B8x3A4A4B8B8B8B8X4o4, Correct!\n",
      "903 : i7A8A8B8B8A8B8B8X4B8B8o4, Correct!\n",
      "902 : i10A9B8A8x5A8B8A9A8X8o6, Correct!\n",
      "905 : A8A8B8b4b4B8o8, Correct!\n",
      "906 : i4A4A4B10x4A4A4B13, Correct!\n",
      "907 : i4A8A8B4B4C7A8A8B4B4C6, Correct!\n",
      "908 : i4A8B13x2X2A8B13x7X3B13o4, Incorrect! Ground Truth: i4A9B12x4A9B12x7X4B12o3, i4A9B12x4A9B12x7X4B12o3\n",
      "909 : i5A4A4B4A4x5A4A4B4A4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "807 : i4A8A8B15x1b5b5A8A8B15x1b5X1B15o3, Correct!\n",
      "904 : i4X4A12B8x4A12B10X3B9o4, Correct!\n",
      "870 : i8A16A17B8B9x7A17B8B8X2B8B9o8, Incorrect! Ground Truth: i8A16A16x1B8B9x7A16x1B8B9x1B8B9o7, i8A16A17B8B9x7A17B8B10B8B9o7\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "328 : i8A8A8B8C8C8x1b6b6b6A8A8B8C8C8x2D8D8o5, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "787 : i9A8B18C8C8b4b4x1A8B18C8C8C8C8o14, Incorrect! Ground Truth: i9A16B10C16x9A16B10C16C16o13, i9A16B10C16x9A16B10C16C16o13\n",
      "This version running TOO long, quit at middle!\n",
      "814 : i8A16B8B10x2A16B8B10x2X8B8B10o7, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "823 : i6A8A8B9C8C9b4A8B9C8C9x4b4C8C9o9, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "827 : i8A4A4A4A4x2B8B9x7A4A4A4A4X1B8B8B8B8X12, Correct!\n",
      "878 : i8A10A10B12b6b6b6A10A10B12B12o3, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "832 : i8A16B16x2A16B17X5o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "756 : i8A8B9X7B8A8A8b5b5b5X1B8B8A8A8C8C8X3, Incorrect! Ground Truth: i8A8B8B8B8C16b4b4b4b4A8B8C16D8D8X3, i8A8B8B8B8C16b4b4b4b4A8B8C16D8D8X3\n",
      "This version running TOO long, quit at middle!\n",
      "857 : i12A17x3B8B10b4b4A17x3B8B10b4x2B8B10o11, Incorrect! Ground Truth: i12A8A9x3B8B10x8A8A9x3B8B10x6B8B10o10, i12A17x3B8B10x1b5x2A17x3B8B10b5X1B8B10o10\n",
      "This version running TOO long, quit at middle!\n",
      "830 : i11A4A4A4A5B4B4C4C4x1b4b4x2A4A5B4B4C4C4C4C4b4b4C4C4C4C4o16, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "869 : i8A16A16B16B17b5b5b5A16B16B16B17o14, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "855 : i16A16A17B16B16b4b4b4b4A17B16B16X5o4, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "872 : i8A8A9B4C4B4C5b4b4b4b4A9B4C4B4C5B4C4B4C4C5X1o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "779 : i8A8A8B4C4D8D8x6A8A8B4C4D8D8X8D9o6, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "874 : i7A8A9B4B4C8C9b5b5A8A9B4B4C8C10C8C10o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "890 : i4A4A4B4C8C8D8x1b4b4A4A4B4C8C8D8o1, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "876 : i8A8A8B4C5D8D10b4b4A8B4C5D8D10D8D10X4o5, Incorrect! Ground Truth: i8A8A8B8x1C8C9x9A8B8x1C8C9x1C8C9x1X4o5, i8A8A8B9C8C10b4b4A8B9C8C10C8C10X4o4\n",
      "This version running TOO long, quit at middle!\n",
      "882 : i20A8X8B8B9A8b4b4b4b4A8A8B8B9A8X1o8, Incorrect! Ground Truth: i20A8A8B8B9A8b4b4b4b4A8A8B8B9A9o8, i20A8A8B8B9A8b4b4b4b4A8A8B8B9A9o8\n",
      "This version running TOO long, quit at middle!\n",
      "895 : i12A16B8B8x2b5b5A16B8B8B8B8o11, Incorrect! Ground Truth: i12A16B16x2b5b5A16B16B16o10, i12A16B8B8b4b4b4A16B8B8B8B8o10\n",
      "This version running TOO long, quit at middle!\n",
      "899 : i4A8A8B8B9A8x1b4b4b4A8A8B8B9B8B9A8o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "859 : i7A8A9B16C9b6A8A9B16C10b6B16C10o7, Incorrect! Ground Truth: i8A8A8B8C8C9x7A8A8B8C8C9x7X8C8C9o9, i7A8A9B7X1C8C9x6A8A9B7X1C8C9x7X8C8C9o9\n",
      "This version running TOO long, quit at middle!\n",
      "861 : A8A8b7X1B4B5X1C8A8A8b7X1B4B5X1C8A8A8b7X4A8A8o8, Correct!\n",
      "This version running TOO long, quit at middle!\n",
      "This version running TOO long, quit at middle!\n",
      "152 : i18A16A16B16x1b5b5b5A16B16X4b5b5X4B14X3C6A16X4C6X1, Correct!\n"
     ]
    }
   ],
   "source": [
    "def proc_one(i):\n",
    "    run([exe, str(i)])\n",
    "\n",
    "with Pool() as pool:\n",
    "    r = list(pool.imap(proc_one, range(1, 910)))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "interpreter": {
   "hash": "edec002140d9d8f2706050969f64a3e802a3612fe9bcf04187cb09b9ae649905"
  },
  "kernelspec": {
   "display_name": "Python 3.9.7 ('boya')",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.9.7"
  },
  "orig_nbformat": 4
 },
 "nbformat": 4,
 "nbformat_minor": 2
}
